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

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 majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to