Github: Pull Request - c'est comme ça que ça se fait
Avec une pull request, les développeurs et les programmeurs sur github peuvent incorporer une modification dans un projet. Nous expliquerons comment procéder.
Tirez la demande sur github
Vous devez d'abord créer un compte github. Si vous le souhaitez, vous pouvez installer un client git sur votre système ou modifier le référentiel en question sur github:
- Sélectionnez le projet / référentiel pertinent sur github.com: vous pouvez trouver le projet via Google ou via la fonction de recherche locale dans github.
- Allez ensuite dans l'onglet "Pull Requests" dans le dossier du projet.
- Vous verrez maintenant une liste des demandes d'extraction actuellement ouvertes. Vous devez vérifier brièvement la liste pour voir si la modification que vous prévoyez est déjà contenue dans l'une des autres demandes.
- Cliquez ensuite sur le champ "New Pull Request", puis sur "Edit" pour pouvoir modifier votre modification. Enfin, cliquez sur "Créer une demande d'extraction".
- Entrez ensuite une description de votre modification et cliquez sur "Créer une demande de tirage".
- Les principaux développeurs du projet décideront maintenant d'accepter ou non la modification proposée. Selon le projet, ce processus peut prendre un certain temps.
- Si votre proposition de modification entraîne un pull (fetch + merge), votre modification a été acceptée et incorporée dans la base de code du projet.
Dans notre prochain article, nous expliquerons la mise en forme du démarque dans github.