Git

Pull Request Une Pull Request, souvent abrégée PR, est une demande d’intégration d’un changement dans un dépôt de code. Elle sert à présenter ce qui change, permettre la revue, discuter les impacts, puis intégrer le travail. Une PR est aussi un objet de coordination. Dans l’atelier Avec l’IA, les PR peuvent devenir plus grosses, plus fréquentes ou plus propres en apparence. Le reviewer doit alors vérifier le code, mais aussi l’intention : pourquoi ce changement existe, quelles hypothèses ont été prises, et ce qui reste fragile. ...