Merge branch 'vulkan-1.1-rc6_LunarG' into 'master'
Fix external update script for GitHub SSH access
See merge request !30
diff --git a/update_glslang_sources_khr.py b/update_glslang_sources_khr.py
index 52031d4..e7be66c 100755
--- a/update_glslang_sources_khr.py
+++ b/update_glslang_sources_khr.py
@@ -28,9 +28,9 @@
KNOWN_GOOD_FILE = 'known_good_khr.json'
-# Maps a site name to its hostname.
-SITE_TO_HOST = { 'github' : 'github.com',
- 'gitlab' : 'gitlab.khronos.org' }
+# Maps a site name to its host URL.
+SITE_TO_HOST = { 'github' : 'https://github.com/',
+ 'gitlab' : 'git@gitlab.khronos.org:' }
VERBOSE = True
@@ -83,14 +83,11 @@
self.subdir = json['subdir'] if ('subdir' in json) else '.'
self.commit = json['commit']
- def GetUrl(self, style='https'):
+ def GetUrl(self):
"""Returns the URL for the repository."""
host = SITE_TO_HOST[self.site]
- sep = '/' if (style is 'https') else ':'
- return '{style}://{host}{sep}{subrepo}'.format(
- style=style,
+ return '{host}{subrepo}'.format(
host=host,
- sep=sep,
subrepo=self.subrepo)
def AddRemote(self):