handle PR links from GitHub

7 years ago · 4d59abebf0
parent d338f18927
commit 4d59abebf0
1 changed files with 1 additions and 1 deletions
--- a/scripts/proposals.py
+++ b/scripts/proposals.py
@ -152,6 +152,6 @@ for author in authors:
    text_file.write("\n.. _" + author + ": https://github.com/" + author[1:])

 for pr in prs:
-    text_file.write("\n.. _PR" + pr + ": https://github.com/matrix-org/matrix-doc/pull/" + pr)
+    text_file.write("\n.. _PR" + pr + ": https://github.com/matrix-org/matrix-doc/pull/" + pr.replace('#', ''))

 text_file.close()