Cette migration a aussi été l’occasion de développer un bot pour la gestion des pull request. Il fait plein de choses : lancer les tests, ajouter des tags, etc. Je vous laisse regarder les commentaires sur les PR dont voici un exemple : https://github.com/openjdk/jdk/pull/393
# Bot openjdk
Posté par Nonolapéro . En réponse au journal OpenJDK est désormais hébergé chez Github tout en se donnant les moyens de l'indépendance. Évalué à 4.
Cette migration a aussi été l’occasion de développer un bot pour la gestion des pull request. Il fait plein de choses : lancer les tests, ajouter des tags, etc. Je vous laisse regarder les commentaires sur les PR dont voici un exemple : https://github.com/openjdk/jdk/pull/393