Switched to repo.jenkins-ci.org.