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
_______________________________________________
liste: https://listes.rezo.net/mailman/listinfo/spip-dev
doc: https://www.spip.net/
dev: https://core.spip.net/
irc://irc.freenode.net/spip

Répondre à