Handle leading slash in SSH url (#245)

Fixes #244

Signed-off-by: Edward Z. Yang <[email protected]>

Author: ezyang

ghstack/github_utils.py

@@ -27,7 +27,7 @@ def get_github_repo_name_with_owner(
     # Grovel in remotes to figure it out
     remote_url = sh.git("remote", "get-url", remote_name)
     while True:
-        match = r"^git@{github_url}:([^/]+)/(.+?)(?:\.git)?$".format(
+        match = r"^git@{github_url}:/?([^/]+)/(.+?)(?:\.git)?$".format(
             github_url=github_url
         )
         m = re.match(match, remote_url)

test/github_utils/get_repo_name_with_owner.py.test

@@ -63,3 +63,10 @@ assert_eq(
     ),
     {"owner": "ezyang", "name": "ghstack.dotted"},
 )
+git("remote", "add", "with-leading-slash", "[email protected]:/ezyang/ghstack.git")
+assert_eq(
+    ghstack.github_utils.get_github_repo_name_with_owner(
+        sh=sh, github_url="github.com", remote_name="with-leading-slash"
+    ),
+    {"owner": "ezyang", "name": "ghstack"},
+)