Et c’est ce qui a été fait sur spip-contrib-extensions (cf. Proposition d'un dépôt documentation - #12 par JamesRezo) mais il y a des remplacements à faire (ex: enhancement → amélioration), des suppressions et un cas que je n’avais pas rencontré sur spip-contrib-extensions, à savoir quand il y a plusieurs labels pour une issue, il ne faut pas retirer tous les labels. Bref, ça demande des retouches au script, des tests un peu « virtuel » (parce que je vais pas lancer des curl DELETE ou PUT au pif, …)
Ça demande un peu de temps mais ça vient 