Submitting this before it becomes to painful to change later: we should use abstract service names rather than hostnames for new services.
In particular the new ci should have a CNAME like "ci" or "jenkins" rather than http://thyssen.internal.softwareheritage.org:8080/ .
To be coordinated with @douardda as he is actively working on the Jenkins setup.