From 1b15ba70bb8e1e31e7f77626579091e9e72af60f Mon Sep 17 00:00:00 2001
From: Unai Martinez-Corral <umartinezcorral@antmicro.com>
Date: Sat, 20 Aug 2022 12:33:04 +0200
Subject: [PATCH] docs/changes/repo_url: handle PR refs

Signed-off-by: Unai Martinez-Corral <umartinezcorral@antmicro.com>
---
 docs/changes.py | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/docs/changes.py b/docs/changes.py
index 537607c..1a8660f 100644
--- a/docs/changes.py
+++ b/docs/changes.py
@@ -28,11 +28,17 @@ ROOT = Path(__file__).resolve().parent
 
 def repo_url(repo, value):
     ref = value
+    url = 'commit'
+    parts = None
     if '@' in value:
-       parts = value.split('@')
-       repo = parts[0]
-       ref = parts[1]
-    return f'https://github.com/{repo}/commit/{ref}'
+        parts = value.split('@')
+    if '#' in value:
+        parts = value.split('#')
+    if parts is not None:
+        url = 'pull'
+        repo = parts[0]
+        ref = parts[1]
+    return f'https://github.com/{repo}/{url}/{ref}'
 
 
 def generate_changes_inc():