Pull request

Une pull request (ou merge request) est une demande, faite sur une plateforme comme GitHub, d'intégrer les commits d'une branche dans une autre. Elle sert de lieu de discussion et de revue : on y voit les différences, les commentaires et les résultats des tests avant de fusionner.

Exemple

Ouvrir une pull request de fonctionnalite-panier vers main.

Notions voisines

Tout le glossaire