Make GitHub contacts point to prefilled Issue tracker

2018-08-18 17:52:31 +02:00 · 2018-08-18 17:52:31 +02:00 · ff6122475b
parent 09902e3490
commit ff6122475b
1 changed files with 2 additions and 1 deletions
--- a/xml/extensionmetadocgenerator.py
+++ b/xml/extensionmetadocgenerator.py
@ -254,7 +254,8 @@ class Extension:
            if handle.startswith('gitlab:'):
                prettyHandle = 'icon:gitlab[alt=GitLab, role="red"]' + handle.replace('gitlab:@', '')
            elif handle.startswith('@'):
-                prettyHandle = 'icon:github[alt=GitHub]' + handle[1:]
+                trackerLink = 'https://github.com/KhronosGroup/Vulkan-Docs/issues/new?title=' + self.name + ':%20&body=' + handle + '%20'
+                prettyHandle = trackerLink + '[icon:github[alt=GitHub, role="black"]' + handle[1:] + ']'
            else:
                prettyHandle = handle