Fix special characters in GitHub contacts links (fix PR #770)

This commit is contained in:
Petr Kraus 2018-09-03 17:54:53 +02:00
parent 2c1fd883e0
commit 42fa313636
1 changed files with 1 additions and 1 deletions

View File

@ -254,7 +254,7 @@ class Extension:
if handle.startswith('gitlab:'): if handle.startswith('gitlab:'):
prettyHandle = 'icon:gitlab[alt=GitLab, role="red"]' + handle.replace('gitlab:@', '') prettyHandle = 'icon:gitlab[alt=GitLab, role="red"]' + handle.replace('gitlab:@', '')
elif handle.startswith('@'): 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:] + ']' prettyHandle = trackerLink + '[icon:github[alt=GitHub, role="black"]' + handle[1:] + ']'
else: else:
prettyHandle = handle prettyHandle = handle