On 20 Oct 2015, at 19:33, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Lars Schneider <larsxschneider@xxxxxxxxx> writes: > >> If not, what do you think about a patch that adds a "url" section >> similar to the one in git config to a .gitmodules file? >> >> Example: >> ---------- >> [submodule "git"] >> path = git >> url=git://github.com/larsxschneider/git.git >> >> [url "mycompany.com"] >> insteadOf = outside.com >> ---------- > > It is unclear to me if you are adding the last two (or three, > counting the blank before) lines to your company's private fork of > the opensource project, but if that is the case, then that would > defeat your earlier desire: > >> ... I also would prefer not to do this as I want to use the >> very same hashes as defined by the "upstream" ... > > wouldn't it? The last three lines are added to my companies closed source Git repo. In this example the company repo references git://github.com/larsxschneider/git.git as submodule. This submodule in turn references another submodule with a URL "outside.com". This is the URL I want to rewrite. Do you think this could be useful to others as well? > I do not think this topic is specific to use of submodules. If you > want to encourage your engineers to fetch from nearby mirrors you > maintain, you would want a forest of url.mine.insteadof=theirs for > the external repositories that matter to you specified by > everybody's $HOME/.gitconfig, and one way to do so would be to have > them use the configuration inclusion. An item in your engineer > orientation material could tell them to add > > [include] > path = /usr/local/etc/git/mycompany.urlrewrite > > when they set up their "[user] name/email" in there. > > And you can update /usr/local/etc/git/mycompany.urlrewrite as > needed. Oh nice, I didn't know about "include". However, as mentioned to Stefan in this thread, I fear that our engineers will miss that. I would prefer a solution that does not need any additional setup. Therefore the suggestion to add rewrites in the .gitmodules file. Thanks, Lars -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html