Pull request

Un pull request est une fonctionnalité proposée par les plateformes de gestion de code source, permettant à un contributeur de proposer des modifications à un projet.

Pour cela, le contributeur commence par faire une copie du code source du projet dans son propre compte.

Il peut ensuite cloner ce code sur son propre ordinateur et effectuer les modifications qu’il souhaite.

Les modifications sont apportées à la copie du projet sur une branche et envoyées sur le compte de l’utilisateur.

À partir de son fork, le contributeur peut créer un pull request, une notification de modifications qui peuvent être intégrées ou non au code source du projet original selon le choix du propriétaire du projet.

Synonyme : demande d’extraction