Qu'est-ce que pull-request ?
Créez des demandes d'extraction GitHub avec des contrôles de préparation, des titres et des descriptions rédigés automatiquement et une gestion push à distance. À utiliser lorsque : créer une PR, une pull request, ouvrir une PR, soumettre une PR, créer une pull request, une PR pour examen, push et PR, pull-request, /pull-request. Source : caldiaworks/caldiaworks-marketplace.