Re: Bugreport: git push disobeys -c remote.xxx.url=...

2014-05-29 Thread Jeff King
On Fri, May 30, 2014 at 02:03:56AM +0200, f...@fuz.su wrote: > 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 us

Bugreport: git push disobeys -c remote.xxx.url=...

2014-05-29 Thread fuz
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 con