setup CI/CD
- Automate the generation of HTML and PDF outputs
- Automate the release
Gitlab was migrated to a new server. Everything should be back to normal and no visible change should remain. If you see anything wrong, please report them to https://forum.duniter.org/t/interventions-et-indisponibilite-des-forums-et-de-gitlab/7131/271