Git : ajouter un second serveur origin pour les push
- lundi 27 avril 2015
- Publié dans Administration . Développement . Git . Outils
- Ecrire
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
Pas encore de commentaires.