[spip-dev] [Spip-zone-commit] [paniers] ajout d'un pipeline maj_panier qui est appelé dans le (...)

L'avantage sur GIT est que si quelque chose est à améliorer, il est
possible de créer une branche ou d'ouvrir un ticket plutot que de
commiter directement dans le master.

Voire de poser la question ici même ou sur IRC pour trouver de l'aide
pour comprendre comment faire!

merci à tout·es :slight_smile:

touti