Labels

• CHANGES REQUESTED

  PR refusée (élève ou formateur). Correction à faire. Puis commit et push sur la même branche.
• CONFLICTS

  FORMATEUR | PR acceptée par le formateur, mais merge impossible car conflits.
• CONFLICTS RESOLVED

  Les conflits ont été résolus, la PR peut être mergée. Ayant déjà été acceptée, elle n'est pas relue.
• CORRECTIONS DONE

  Il y a eu un "Changes requested et les corrections sont faites.
• REVIEW REQUESTED

  PR en cours de review. Indique aux membres du groupe que des reviews sont nécessaires
• REVIEWED

  PR validée par le "code reviewer" (élève). Indique au formateur qu'il peut maintenant relire la PR.