devbox
devbox copied to clipboard
Support pull from git repository URLs not ending in `.git`
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