Hello!
I've tried to changing the URL of a remote temporarily because of network
issues. I tried something like this:
git -c remote.foo.url=http://gitserver.example/repo.git push foo bar
Tracing shows that git push does not use the provided URL for the remote foo
and instead uses the URL configured in the repository configuration as if the
-c option was not present at all. This looks like a bug to me.
My git identifies as version 1.8.1.2.
Yours sincerely,
Robert Clausecker
--
() ascii ribbon campaign - for an 8-bit clean world
/\ - against html email - against proprietary attachments
--
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