Skip to content

Fix parsing non-GitHub remotes#266

Merged
vilmibm merged 1 commit intomasterfrom
non-github-remotes
Jan 28, 2020
Merged

Fix parsing non-GitHub remotes#266
vilmibm merged 1 commit intomasterfrom
non-github-remotes

Conversation

@mislav
Copy link
Copy Markdown
Contributor

@mislav mislav commented Jan 28, 2020

Otherwise, the remote URL translation mechanism had crashed when encountering a non-Github.com git remote.

Otherwise, the remote URL translation mechanism had crashed when
encountering a non-Github.com git remote.
@vilmibm vilmibm merged commit 9345571 into master Jan 28, 2020
@mislav mislav deleted the non-github-remotes branch January 30, 2020 18:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants