Suppression de branches sur git.spip & tracker redmine

Salut,

Je viens de tenter de supprimer toutes les branches de PR fusionnées, cf :

https://git.spip.net/spip/spip/branches

Je l'avais déjà fait hier, mais les branches ont questions sont revenus 
à leur état précédent.

J'ai donc tenté de signaler le bug dans le tracker de git.spip, mais 
celui-ci est en erreur 500 depuis quelques jours cf 
https://core.spip.net/projects/git-spip-net/issues/

Ce mail fait donc office de ticket :p

++
b_b