Définition
Une pull request est la proposition, faite par un développeur, d'intégrer ses modifications dans la version principale du code. Elle présente les changements ligne par ligne, laisse les collègues commenter et demander des corrections, et déclenche automatiquement les tests. C'est la revue par les pairs du logiciel : rien n'entre dans le code commun sans un second regard. GitHub parle de pull request, GitLab de merge request ; le principe est le même.
Dans la pratique
La pull request est le point de contrôle de la qualité et le lieu de transmission des connaissances dans une équipe ; sa pratique systématique est un marqueur de maturité. Pour un freelance, savoir ouvrir des pull requests petites, décrites et faciles à relire est aussi important que de bien coder. Les assistants IA relisent désormais les pull requests en première passe, sans remplacer le regard humain.
Termes liés
Définition rédigée par L'équipe Top Profil. Glossaire mis à jour le . Tous les termes du glossaire.