Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-18 Thread Martin Ă…gren
On 18 April 2018 at 22:56, Todd Zullinger wrote: > Tangentially (and I don't know if it's worth fixing), while > poking around the documentation which includes urls.txt I > noticed that git-clone.txt refers readers to the "URLS > section below" when the name of the section is "GIT

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-18 Thread Todd Zullinger
Junio C Hamano wrote: > Jacob Keller writes: > >> Maybe something like: >> >> "Note that the push URL and the fetch URL, even though they can be set >> differently, are expected to refer to the same repository. For >> example, the fetch URL might use an unauthenticated

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-17 Thread Junio C Hamano
Jacob Keller writes: > Maybe something like: > > "Note that the push URL and the fetch URL, even though they can be set > differently, are expected to refer to the same repository. For > example, the fetch URL might use an unauthenticated transport, while > the push URL

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-17 Thread Jacob Keller
On Tue, Apr 17, 2018 at 8:34 AM, Robert P. J. Day wrote: > On Tue, 17 Apr 2018, Junio C Hamano wrote: > >> Jacob Keller writes: >> >> > Things won't work so well if you set the push url and fetch url to >> > different repositories. Git assumes that

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-17 Thread Robert P. J. Day
On Tue, 17 Apr 2018, Junio C Hamano wrote: > Jacob Keller writes: > > > Things won't work so well if you set the push url and fetch url to > > different repositories. Git assumes that refs updated by "push" > > will also be reflected via "fetch". > > > > I don't know

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Jacob Keller
On Mon, Apr 16, 2018 at 4:13 PM, Junio C Hamano wrote: > Jacob Keller writes: > >> Things won't work so well if you set the push url and fetch url to >> different repositories. Git assumes that refs updated by "push" will >> also be reflected via

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Junio C Hamano
Jacob Keller writes: > Things won't work so well if you set the push url and fetch url to > different repositories. Git assumes that refs updated by "push" will > also be reflected via "fetch". > > I don't know offhand what will break, but likely something will. For >

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Jacob Keller
On Mon, Apr 16, 2018 at 9:19 AM, Robert P. J. Day wrote: > On Mon, 16 Apr 2018, Andreas Schwab wrote: > >> On Apr 16 2018, "Robert P. J. Day" wrote: >> >> > i don't understand how you can clearly set the fetch and push URLs >> > of a remote

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Robert P. J. Day
On Mon, 16 Apr 2018, Andreas Schwab wrote: > On Apr 16 2018, "Robert P. J. Day" wrote: > > > i don't understand how you can clearly set the fetch and push URLs > > of a remote independently, while the man page nonetheless insists > > that "even though they can be set

Re: man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Andreas Schwab
On Apr 16 2018, "Robert P. J. Day" wrote: > i don't understand how you can clearly set the fetch and push URLs of > a remote independently, while the man page nonetheless insists that > "even though they can be set differently, must still refer to the same > place". how

man page for "git remote set-url" seems confusing/contradictory

2018-04-16 Thread Robert P. J. Day
never had cause to examine "git remote set-url" before so i'm a bit puzzled by this part of the man page: set-url Changes URLs for the remote. Sets first URL for remote that matches regex ... With --push, push URLs are manipulated instead of fetch URLs. .. snip ... Note that