search

Skydio / revup

Effortlessly create and manage pull requests without changing branches. Powers a stacked diffs workflow with python and git "plumbing" commands.
https://github.com/Skydio/revup
MIT License
317 stars 67 forks source link

github: Allow any ssh user in remote url #74

Closed jerry-skydio closed 2 years ago

jerry-skydio commented 2 years ago

Github ssh URLS can have any user, not just "git@github.com". Update the regex to handle this.

Topic: ssh Reviewers: brian-k Closes: 72

jerry-skydio commented 2 years ago

Reviews in this chain: └https://github.com/Skydio/revup/pull/74 github: Allow any ssh user in remote url

jerry-skydio commented 2 years ago
# head base diff date summary
0 b3167d13 4b357f91 diff Oct 12 1:38 PM 1 file changed, 1 insertion(+), 1 deletion(-)