Note

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.