At least bin/mw-core-get.sh and tools/fetch-mw-ext from integration/jenkins.git use git.wikimedia.org to get an archive of the source from a git repository. Sadly git.w.o regularly has downtime. So for our jenkins jobs not to fail in that case we should remove that dependency.
To make things difficult gerrit does not support downloading an archive either from the UI nor from the SSH endpoint:
$ git archive --remote="ssh://jzerebecki@gerrit.wikimedia.org:29418/mediawiki/core" "eab45e37b66582a94e5a7700021e41a59560e665" >test.tar Gerrit Code Review: git-upload-archive: not found fatal: The remote end hung up unexpectedly
That leaves us with the following possibilities:
- Add a gerrit mirror to every jenkins slave that uses those scripts.
- Add an on demand mirror (git clone/fetch) of the repos needed.
- Use a gerrit mirror that has git archive --remote support. (Does that work with the intelligent git http protocol? If not this is complicated by the fact that each jenkins slave then needs ssh access to that mirror.)
Any other ways? Any preferences for a solution?
Version: wmf-deployment
Severity: enhancement