Travailler avec plusieurs dépôts distants sur GitHub

De Ensiwiki
Aller à : navigation, rechercher
Git

Environnement Windows, MacOS, Linux

Type Gestionnaire de versions
Licence GPLv2

Site Web http://git-scm.com/

On part du principe que vous connaissez déjà les bases de Git (clone, push, pull, branch...). Cette page explique comment travailler avec plusieurs dépôts distants sur GitHub depuis un ou plusieurs dossiers locales. Les explications et la méthode viennent de cette page (en anglais) :

Note du rédacteur : cette page comporte probablement des fautes d'orthographe, votre aide est la bienvenue !

Exemple de cas de figure

Pour un TP quelconque (au hasard le TP de TLM de 3A SLE...), vous avez cloner le dépôt d'un enseignant sur votre session ENSIMAG. Vous avez travaillé un peu et fait quelques commits. Étudiant studieux, vous aimeriez pouvoir terminer le TP chez vous, avec votre machine personnelle. Problème : vous ne pouvez pas push sur le dépôt de l'enseignant !

Solution, par étape

Crée un dépôt GitHub

Inscrivez vous sur GitHub si ce n'est pas déjà le cas et créez un nouveau dépôt, avec l'URL qu'on appellera $mon_url

Associer votre dépôt GitHub à votre dossier de travail

 git remote add $nom_remote $mon_url
.

$nom_remote est le nom que vous voulez donner à ce dépôt GitHub, du point de vu de votre dossier locale. Vous noterez que le dépôt depuis lequel vous avez cloner est "origin".

Push sur votre dépot GitHub

 git push $nom_remote master 

Il est possible de remplacer "master" par le nom d'une autre branche.

Pull sur l'un ou l'autre des dépôts

 git pull $nom_remote master 

Pour votre dépôt personnel.

 git pull origine master 
ou simplement
 git pull 
pour le dépôt cloner à la base.

Questions ? Problèmes ?

se référer à cette page (en anglais) :