Luciano Carvalho created JENKINS-13251:
------------------------------------------
Summary: Allow setting repo-url during repo init
Key: JENKINS-13251
URL: https://issues.jenkins-ci.org/browse/JENKINS-13251
Project: Jenkins
Issue Type: Improvement
Components: repo
Affects Versions: current
Environment: Jenkins 1.424 + Gerrit Repo plugin 1.2
Reporter: Luciano Carvalho
Fix For: current
On servers with no internet access, repo init will die with the error below:
fatal: Cannot get https://code.google.com/p/git-repo/clone.bundle
fatal: error [Errno -2] Name or service not known
The only workaround is to create a "url ... insteadOf" rule in the gitconfig.
It'd be nice to have the option to set it from the Build Configure interface.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators:
https://issues.jenkins-ci.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira
