git-url: handle ssh host rewrites for github.com

git-url

@@ -34,6 +34,8 @@ if remote_url.endswith('.git'):
 	remote_url = remote_url[:-len('.git')]
 parsed = urllib.parse.urlparse(remote_url)
 hostname = parsed.hostname
+if hostname.startswith('github.com-'):
+	hostname = 'github.com'
 
 obj_type = 'tree'
 if len(sys.argv) == 2: