From: "Junio C Hamano" <gitster@xxxxxxxxx> Sent: Tuesday, May 01, 2012 6:57
PM
"Philip Oakley" <philipoakley@xxxxxxx> writes:
Would an alternative be something like:
git submodule update <module> --from <remote>
so that the user can state which of the current submodule's remotes
should be used for fetching the desired update.
Are you assuming that the <remote> in the above example will be different
per invocation for a single user?
possibly, but more likely the user would have identified which is the best
remote to use to find her missing sha1.
I would imagine not---it would be more
like "the upstream has this URL in .gitmodules, but this other mirror is
closer to my network environment", i.e.
cd <module's directory> && git config remote.origin.url $there
I was presuming a reverse time sequence, where the user had already set up
the desired remote, but hadn't managed to change the URL in .gitmodules; but
either way, the user then let's 'git submodule' do the hard work of fetching
the correct sha1 to checkout.
I didn't think that there was a command yet to do the URL update, which
would most likely match one of the sub-module's URLs.
no?
Philip
--
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