retire from jenkins

I will attempt to retire this project from Jenkins/gitolite next week, probably Monday, or Tuesday if I don't find the time.

This is part of the %Retire Jenkins roadmap, although it's treated as the first guinea pig for the experiment in team#40364 (closed).

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.