From 42fa31363656606ae99f79b76c8cdd0187a59cba Mon Sep 17 00:00:00 2001 From: Petr Kraus Date: Mon, 3 Sep 2018 17:54:53 +0200 Subject: [PATCH] Fix special characters in GitHub contacts links (fix PR #770) --- xml/extensionmetadocgenerator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xml/extensionmetadocgenerator.py b/xml/extensionmetadocgenerator.py index 3b0de10a..06774891 100644 --- a/xml/extensionmetadocgenerator.py +++ b/xml/extensionmetadocgenerator.py @@ -254,7 +254,7 @@ class Extension: if handle.startswith('gitlab:'): prettyHandle = 'icon:gitlab[alt=GitLab, role="red"]' + handle.replace('gitlab:@', '') elif handle.startswith('@'): - trackerLink = 'https://github.com/KhronosGroup/Vulkan-Docs/issues/new?title=' + self.name + ':%20&body=' + handle + '%20' + trackerLink = 'link:++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