From ff6122475b8f8c35f1a3190345dd1449b3360056 Mon Sep 17 00:00:00 2001 From: Petr Kraus Date: Sat, 18 Aug 2018 17:52:31 +0200 Subject: [PATCH] Make GitHub contacts point to prefilled Issue tracker --- xml/extensionmetadocgenerator.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/xml/extensionmetadocgenerator.py b/xml/extensionmetadocgenerator.py index 435e1829..3b0de10a 100644 --- 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