Effectuer un "Pull request" dans github

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 :

1. git remote add jedi git://github.com/jedi/laser.git
2. git pull jedi master
3. 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.