'reference' repositories are a very different concept; they aren't a 'master' repository that can be used instead of the specified one, they are a way to avoid copying object packs that don't need to be copied.
The GitHub plugin doesn't use the URL in question for Git operations, it uses the URL for GitHub API interactions (matching webhook notifications, eventually commit status updates, etc.). In essence, that URL is not a URL to a Git repository, it's a URL to a GitHub API controlled object (that happens to also be a Git repository). ----- Original Message ----- From: jenkinsci-dev@googlegroups.com To: jenkinsci-dev@googlegroups.com At: May 9 2013 13:08:01 Git has the ability to refer to a another local repository when it performs a clone using the --reference argument to the clone command. The Git plugin supports that on Unix type systems from the "reference" setting in the advanced section of the configuration for each job. I've not been able to find a syntax for the reference value which would work on Windows machines, though it seems like it should be possible. I'm not a GitHub plugin user, so I don't know if it supports the --reference argument. If your reason for mirroring is to improve the performance of git clone, you could investigate the "reference" repository idea, and place a copy of the repository on each slave agent. Mark Waite From: Kevin Fleming (BLOOMBERG/ 731 LEXIN) <kpflem...@bloomberg.net> To: jenkinsci-dev@googlegroups.com Sent: Thursday, May 9, 2013 9:23 AM Subject: Re:Supporting mirrors in the github plugin That's an interesting question. The GitHub plugin doesn't provide a Jenkins SCM, but it does read the Git SCM URls from projects to interact with GitHub. Doing what you are talking about would be a bit complex, as logically the 'alternate location' URL (that points to GitHub) would be configured alongside the existing URL, but that's handled by the Git plugin and it shouldn't have any knowledge of GitHub. One way to approach this would be to modify the Git plugin to provide an extension point that the GitHub plugin could implement, that would allow for additional data to be captured/stored/retrieved as part of the Git SCM details for a project. ----- Original Message ----- From: jenkinsci-dev@googlegroups.com To: jenkinsci-dev@googlegroups.com At: May 8 2013 19:17:18 As far as I can tell, the GitHub plugin does not support working with mirrors of GitHub repos. For example, if git@my-internal-server:mirrors/my-repo.git is set as the SCM remote for a project and it is a mirror of https://github.com/thomasvandoren/my-repo.git, there is no way to expose that relationship to the GitHub plugin. Would it make sense to add a project level configuration value that provides a github remote location? The plugin would then look at that value and fall back on the configured remote whenever it interacts with GitHub APIs. Thanks! -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-dev+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.