Pull requests

Introduction aux concepts de GitHub

Jasmin Ludolf

Content Developer, DataCamp

Qu'est-ce qu'une pull request ?

Permet au propriétaire du dépôt de vérifier les modifications avant qu'elles ne soient ajoutées

Meilleure pratique pour ajouter des modifications à une branche qui n'est pas la branche principale

Vue du dépôt dupliqué avec les modifications apportées

Vue de l'onglet « Pull requests » dans le dépôt dupliqué

Vue de l'onglet « Pull requests » dans le dépôt dupliqué avec le nouveau bouton « Pull request » mis en évidence

Vue comparant les modifications apportées dans une branche à l'état actuel de la branche dans laquelle nous souhaitons copier nos modifications

Vue comparant les modifications en mettant en évidence la base et en comparant les branches

Vue comparant des modifications mettant en évidence le bouton « Create pull request »

Vue pour ajouter plus de détails à une pull request

Vue pour attribuer une pull request

Vue pour ouvrir une pull request avec le bouton « Create pull request » mis en évidence

Introduction aux concepts de GitHub