Salut Sam, j’ai en fait essayé de relancer une PR (ici) et il semble que les relances ne fonctionnent pas de la même manière sur GitHub qu’ici (elle n’est pas remontée en haut de la liste).
Je passerai à la catégorie Dev à l’avenir. Il serait peut-être bon de mentionner explicitement cette catégorie dans le message initial (avant ou après l’étape n°10) 