migrate from Jenkins to GitLab Ci
I will attempt to retire this project from Jenkins/gitolite this week or next, if I don't find the time.
The worst that could happen here is that the site would become unavailable for a few hours, or show outdated or corrupted content. In the most likely situation, however, there will be zero downtime and no noticeable change.
The main implication is that the repository on gitolite will become irrelevant: pushes there will not trigger changes on the real website. Jenkins jobs might fail. Eventually, the gitolite repository will be archived and the jenkins jobs will be removed, probably next week as well.
If you have any objections or concerns about this migration, do let me know before the jenkins jobs get pulled. In any case, it's possible to rollback to the current state quite easily.