Releases algo via Gitlab CI
Voir #2255 (closed), #1491...
Et @mikael-s, #2999 (closed) : "[Faire une release] doit être quelque chose de faisable facilement."
Pas le plus urgent, mais cela peut arriver plus tôt que prévu, vu #2720 (closed) / !97 (merged). Mais Jenkins est pour l'instant toujours nécessaire pour #2900 (closed).
Edited by Mathieu Giraud