Re: [PATCH v4] remote: add --fetch and --both options to set-url

2014-12-17 Thread Junio C Hamano
Peter Wu writes: > git remote set-url knew about the '--push' option to update just the > pushurl, but it does not have a similar option for "update fetch URL and > leave whatever was in place for the push URL". > > This patch adds support for a '--fetch' option which implements that use > case i

Re: [PATCH v4] remote: add --fetch and --both options to set-url

2014-12-17 Thread Peter Wu
On Wednesday 17 December 2014 09:32:13 Jeff King wrote: > On Wed, Dec 17, 2014 at 03:18:56PM +0100, Peter Wu wrote: > > > This is the fourth revision of the patch that allows for just setting the > > fetch > > URL. Eric wondered why '--fetch --push' is not used to describe the state > > '--both',

Re: [PATCH v4] remote: add --fetch and --both options to set-url

2014-12-17 Thread Jeff King
On Wed, Dec 17, 2014 at 03:18:56PM +0100, Peter Wu wrote: > This is the fourth revision of the patch that allows for just setting the > fetch > URL. Eric wondered why '--fetch --push' is not used to describe the state > '--both', so I added this to the commit message. Thanks, I think that explan

[PATCH v4] remote: add --fetch and --both options to set-url

2014-12-17 Thread Peter Wu
git remote set-url knew about the '--push' option to update just the pushurl, but it does not have a similar option for "update fetch URL and leave whatever was in place for the push URL". This patch adds support for a '--fetch' option which implements that use case in a backwards compatible way: