Use the local mirror of the tails/tails Git repository for Jenkins jobs and other regular tasks

Jenkins

We changed Jenkins to pull from GitLab while the mirroring to Gitolite is not working (see the migration steps):

• Jenkins jobs:
  • those configured via jjb: https://gitlab.tails.boum.org/tails/jenkins-jobs/-/commit/4db52b22a568f824c24b06a817008d6b1ebcccad
  • https://jenkins.tails.boum.org/job/build_IUKs/configure which is configured manually
• tails/puppet-tails!8

Now that the mirroring works, we have to evaluate whether to revert this change use the local Gitolite repo or not.

Other regular tasks

• tails-update-reprepro-config, configured in tails::reprepro::custom