Magazine Internet

Effectuer un "Pull request" dans github

Publié le 29 mars 2011 par Samuel Martin

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.


Vous pourriez être intéressé par :

Retour à La Une de Logo Paperblog

Ces articles peuvent vous intéresser :

A propos de l’auteur


Samuel Martin 21 partages Voir son profil
Voir son blog

l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte l'auteur n'a pas encore renseigné son compte

Dossier Paperblog

Magazine