From 4d59abebf020d56e97594825b5608edaa77056dd Mon Sep 17 00:00:00 2001
From: Ben Parsons <ben@bpulse.co.uk>
Date: Tue, 15 May 2018 15:33:39 +0100
Subject: [PATCH] handle PR links from GitHub

---
 scripts/proposals.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/proposals.py b/scripts/proposals.py
index e4c65daac..939641433 100644
--- 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()