Git est un logiciel de gestion de versions décentralisée. GitHub est un service web d'hébergement et de gestion de développement de logiciels, utilisant le programme Git. L'article explique comment effectuer le fameux "pull request" sur son dépôt local.
Prérequis git
- Comprendre l'intérêt des logiciel de gestion de versions
- Disposer d'un compte github
- Installer git
sudo apt-get install git
Récupération du dépôt distant à l'aide de git
Voici la solution pour fusionner les modifications du référentiel github (depôt à distance) avec votre dépôt local :
- Après avoir forké le dépôt de "Jedi" (via bouton Fork )
- Utiliser le dépôt sur votre machine via : git clone https://github.com/<your_name>/<project_name>.git donc git clone https://github.com/padawan/laser.git
- Amusez vous dans votre dépôt ...
- Jedi à mise à jour son sabre laser comment faire, je veux aussi cette hype mise à jour ?
Dans votre dépôt local taper les commandes suivantes :
git remote add jedi git://github.com/jedi/laser.git
git pull jedi master
git push
add jedi permet de disposer d'un raccourci vers le dépôt git://github.com/jedi/laser.git. Ce n'est à utiliser qu'une seule fois.