Support for cloning using Git URL aliases
It would be nice to have support for Git's "insteadOf" aliasing when cloning.
E.g. in ~/.gitconfig
:
[url "ssh://someuser@somedomain/path/to/repo/root/"]
insteadOf = myreporoot:
To allow e.g. git clone myreporoot:myrepo
.
This is functionally slightly different from git clone ssh://someuser@somedomain/path/to/repo/root/:myrepo
, so it's not just a case it being slightly slower to enter the repo when cloning using Builder currently - as the former records the remote in myrepo/.git/config
using the alias, so if the remote repo root URL changes, it's possible to just update the alias in ~/.gitconfig
rather than changing the remote for every cloned repo.
Currently (3.32 via Flathub) Builder shows "failed to resolve address for myreporoot: Name or service not known".