devwords
En contribuant à l'open source ou en travaillant en équipe, vous entendrez « j'ai envoyé une PR ».
Une Pull Request est une demande formelle adressée à un coéquipier ou à un mainteneur pour qu'il examine un ensemble de modifications de code proposées avant qu'elles ne soient fusionnées dans la base de code principale, servant de portail où se fait la revue par les pairs avant que les changements ne passent en production. C'est le rituel central de la culture de revue de code collaborative, permettant à d'autres développeurs de repérer des erreurs, de suggérer des améliorations ou d'approuver le travail avant qu'il ne devienne partie intégrante du projet partagé.
Envoyer du matériel de relations publiques et établir un record personnel jouent tous deux sur les lettres « PR » mais n'ont rien à voir avec le véritable sens du terme en développement logiciel.
Les Pull Requests ont pris une nouvelle importance à l'ère de l'IA, puisque certains flux de travail consistent désormais à assigner directement un ticket à un agent de codage IA et à recevoir en retour une Pull Request achevée, un humain la révisant toujours selon le même processus qu'auparavant.
devwords
Alors quelle est la relation entre git et GitHub ?En tant que porte par laquelle les programmes se parlent, quelle analogie de restaurant convient le mieux ?Comment s'appelle-t-il ?Que construit un développeur frontend ?Que signifie déployer (deploy) ?Qu'a-t-on réellement trouvé à l'intérieur d'un ordinateur de Harvard en 1947 ?Comment appelle-t-on cela ?Quelle est cette IP ?Que signifie réellement le « 404 » que vous rencontrez en naviguant ?À qui la faute ?Qu'est-ce que c'est ?Son nom ?Quration — Quration AIQ