Plusieurs remote origin avec git
Je viens d'apprendre qu'avec l'option pushurl
#git nous permet de
faire des push
sur plusieurs répertoires [remote "origin"]
en même
temps. Voici la commande que j'ai utilisé pour pousser mes commits sur
GitHub et NotABug simultanément:
git remote set-url --add --push origin git@github.com:hs0ucy/hugo.soucy.cc.git
git remote set-url --add --push origin git@notabug.org:hs0ucy/hugo.soucy.cc.git
À partir de là un git push origin
exportera mes changements vers ces
deux destinations.