On 2018-01-24 22:20, Michael Stapelberg wrote: > To be able to push to the repository, you don’t need to authenticate > when cloning it, you can also configure git to automatically substitute > the URLs: > > git config --global url."git.debian.org:/git/".insteadOf > "https://anonscm.debian.org/cgit/" > git config --global url."git.debian.org:/git/".insteadOf > "https://anonscm.debian.org/git/" > git config --global url."git.debian.org:/git/".insteadOf > "git://anonscm.debian.org/"
Great idea! And especially git config --global url."g...@salsa.debian.org:".pushInsteadOf "https://salsa.debian.org/" should save me a lot of "git remote set-url --push ..." :-) Many thanks! Andreas