Git : ajouter un second serveur origin pour les push

Boris HUISGEN April 27, 2015

développement git

Une astuce utile si vous travaillez avec un serveur git privé et que vous souhaitez aussi publier votre code sur un serveur public (et inversement) :

# git remote set-url --add --push origin git@gitlab.my.domain:mygroup/project.git

See also

Git : intégration d’un dépôt externe par subtree
Read more
Git : package binaire pour Mac OS X
Read more
Shell : vérifier la syntaxe d’un script
Read more