Commit 6151171
committed
Support non-git SSH usernames in remote URL parsing (#360)
GitHub now hands out org-scoped SSH deploy users such as
org-21003710@github.com:pytorch/pytorch.git instead of the classic
git@github.com:owner/repo.git. The remote-URL regexes hardcoded the
"git" username, so the new format failed with:
RuntimeError: Couldn't determine repo owner and name from url: ...
Match any SSH user ([^@]+@) in both get_github_repo_name_with_owner and
_normalize_remote_url, and add tests for both the old and new formats.1 parent d0f3424 commit 6151171
2 files changed
Lines changed: 23 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
32 | 32 | | |
33 | 33 | | |
34 | 34 | | |
35 | | - | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
36 | 39 | | |
37 | 40 | | |
38 | 41 | | |
| |||
175 | 178 | | |
176 | 179 | | |
177 | 180 | | |
178 | | - | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
179 | 184 | | |
180 | 185 | | |
181 | 186 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
70 | 70 | | |
71 | 71 | | |
72 | 72 | | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
0 commit comments