Prompt Title: Git pull explained.

Supposons que vous travaillez sur un projet open source hébergé sur GitHub et que vous souhaitez contribuer en apportant des modifications au code. Voici un exemple pratique pour utiliser une pull request :

1. Commencez par forker le dépôt GitHub du projet vers votre propre compte GitHub. Cela créera une copie du projet dans votre compte, que vous pouvez modifier à votre guise sans affecter le projet principal.

2. Clonez votre propre copie du projet sur votre ordinateur en utilisant la commande git clone. Vous aurez ainsi une copie locale du projet sur votre ordinateur.

3. Créez une nouvelle branche locale à partir de la branche principale du projet en utilisant la commande git checkout -b nouvelle-branche. Vous pouvez donner un nom à cette branche pour indiquer le type de modification que vous allez apporter.

4. Effectuez les modifications que vous souhaitez apporter sur la nouvelle branche locale. Vous pouvez effectuer des modifications de code, ajouter des fichiers ou même supprimer des fichiers.

5. Ensuite, poussez (push) la nouvelle branche locale vers votre compte GitHub en utilisant la commande git push origin nouvelle-branche. Cela créera une nouvelle branche sur votre compte GitHub qui contient les modifications que vous avez effectuées localement.

6. Accédez à votre compte GitHub et ouvrez la page du dépôt que vous avez forké. Vous devriez voir une notification indiquant que vous avez poussé une nouvelle branche sur votre dépôt.

7. Cliquez sur le bouton "Compare & pull request" pour créer une nouvelle pull request. Cela ouvrira une page où vous pouvez décrire les modifications que vous avez apportées et demander à l'équipe de réviser votre travail.

8. Attendez que les membres de l'équipe examinent votre pull request et fournissent des commentaires. Vous pouvez répondre à leurs commentaires et apporter des modifications supplémentaires si nécessaire.

9. Si votre pull request est acceptée, vos modifications seront fusionnées avec la branche principale du projet. Sinon, vous pouvez apporter des modifications supplémentaires et soumettre une nouvelle pull request.

En somme, une pull request est un moyen de proposer des modifications à un projet open source, en permettant à l'équipe de réviser et d'approuver les modifications avant de les fusionner dans la branche principale du projet.