repo-proxy is a nginx caching proxy in front of repo.jenkins-ci.org - View it on GitHub