devbox icon indicating copy to clipboard operation
devbox copied to clipboard

Support pull from git repository URLs not ending in `.git`

Open rthadr opened this issue 1 year ago • 0 comments

What problem are you trying to solve?

Pull a devbox config from Azure DevOps or sourcehut via https.

Currently, when attempting to pull from a git repository over https where the repository url does not end in .git, I receive the following error: Error: Could not determine how to pull https://git.sr.ht/~user/repo

What solution would you like?

devbox pull https://git.sr.ht/~user/repo should result in normal git pull behavior

Alternatives you've considered

Not storing my config on hosts that do not expose a .git extension in their repositiory URLs

rthadr avatar Jul 10 '24 22:07 rthadr