Tuto débutant : Faire une pull request sur GitHub avec Git

Par défaut
Description de l'image Git-logo.svg.

Dernièrement, j’ai traduit intégralement un logiciel de 2200 chaînes de caractères et j’ai du proposer le fichier sous forme d’une Pull Request (PR) dans GitHub. C’était le logiciel FOG, logiciel open-source de clonage de postes Windows, Mac et Linux. Vu que je ne fais pas cela souvent, voire jamais, j’écris cet article comme aide-mémoire, et sait-on jamais, cela pourrait servir à des débutants sur GIT

Pré-requis

Je ne reviendrai pas sur GIT sauf pour dire que c’est un outil pour versionner du code et que quasi tous les développeurs du monde entier l’utilisent (et certains de mes élèves aussi)… Au passage, il a été développé par Linus Torvalds, créateur du noyau Linux, rien de moins….

Autre pré-requis, il faut savoir utiliser la console Linux et donc savoir taper des commandes…

Ce tuto est pour GitHub, célèbre plateforme de code en open-source, rachetée plusieurs milliards de dollars par Microsoft. Les alternatives ne manquent pas : GitLab (et son instance Framagit), Gogs, Gitea… Il faut donc disposer d’un compte sur cette plateforme.

C’est parti, installons GIT sur notre poste Linux :

sudo apt install git

puis se créer un dossier, genre GitHub dans votre arborescence de fichiers :

mkdir ~/GitHub

Premiers paramétrages de GIT

Ces paramétrages sont à faire qu’une seule fois :

cd GitHub
git config --global user.name "Pseudo de votre compte GitHub"
git config --global user.email "Courriel de votre compte GitHub"
git config --global core.editor geany

À vous de personnaliser ces différentes lignes facultatives…

Forker le projet et cloner…

GitHub nécessite de travailler sur une copie locale du projet, copié intégralement sur son ordinateur. Cela se passe en 2 étapes :

1 – Fork du projet

Il suffit simplement de cliquer sur le bouton en haut à droite Fork :

Capture du dépôt du projet initial

Dans votre espace GitHub, vous avez à présent un nouveau repository (dépôt), copie du projet initial ; vous voilà développeur (ou en apprentissage 😊 )

2 – Clone du projet sur son PC

Toujours sur GitHub, sur votre repository forké, appuyer sur le bouton vert Code :

Capture du dépôt forké

puis copier l’adresse avec la petite icône en bout de ligne, elle doit être du type :

https://github.com/bristow/fogproject.git

avec à la place de bristow, votre identifiant et fogprojet.git le nom du projet forké.

Maintenant que le dossier est forké, on va le rapatrier sur notre ordinateur. Reprenons la console et clonons avec la commande :

git clone https://github.com/bristow/fogproject.git

Branche de développement

Si vous devez changer de branche de développement, c’est maintenant que l’on peut changer. Je vais changer pour la branche dev-branch :

git checkout dev-branch

Modification du code

À présent, vous pouvez travailler sur les fichiers que vous avez clonés. Vous pouvez les éditer, les modifier…

Commiter

Une fois vos modifications terminées, on va commiter, cela se fait en 2 temps :

git add chemin_vers_fichier/MonFicherModifié
git add chemin_vers_fichier2/MonFicher2Modifié
git commit -m "Mon super commentaire sur ma modif"

Envoyer le code sur GitHub

Il nous reste à envoyer nos commits sur notre projet forké sur GitHub :

git push origin dev-branch

Lors de cette commande, on vous demandera votre identifiant / mot de passe GitHub.

Proposer la pull request au projet source

Pour cela, c’est très simple. On retourne sur GitHub sur notre projet, on sélectionne la bonne branche (étape 1) puis on clique sur Contribute :

Puis, vous devez pouvoir proposer une pull request vers le projet initial en cliquant sur le gros bouton vert ci-dessous. Vous pouvez bien sûr laisser un commentaire pour expliquer…

C’est terminé ! Si vous allez sur le projet source, dans l’onglet Pull requests, vous devriez voir votre action.

Mettre à jour une pull request

Certaines fois, on peut vous demander de compléter votre PR ; pour cela, le processus est rapide : modification de vos fichiers puis

git add MonFichier
git commit -m "Modif..."
git push origin dev-branch

et c’est terminé, GitHub s’occupe du reste… C’est à dire de remodifier la PR.

Conclusion

Pour des développeurs qui font cela tous les jours, cela peut paraître simple, mais cela ne l’est pas pour les débutants ou les personnes qui proposent une PR tous les ans… GIT, c’est vraiment un métier 😊

How To Write Proper Git Commit Messages – Stephen Amaza ...

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *