Skip to content
This repository has been archived by the owner on Jan 30, 2022. It is now read-only.

Support for git insteadOf #58

Open
cvarjao opened this issue Feb 9, 2021 · 0 comments
Open

Support for git insteadOf #58

cvarjao opened this issue Feb 9, 2021 · 0 comments
Labels
enhancement New feature or request

Comments

@cvarjao
Copy link
Member

cvarjao commented Feb 9, 2021

A repository may have a UI/browser friendly URL and a git client URL.
Git supports that by using insteadOf, so we may want to read and parse that as well when discovering repository URL
@cvarjao cvarjao added the enhancement New feature or request label Feb 9, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@cvarjao