From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 18 Apr 2018 00:06:50 GMT
Subject: Re: man page for "git remote set-url" seems confusing/contradictory
Message-ID: <xmqqd0yxl6n9.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <CA+P7+xrebnWe_6P0uGu2yEmXZ0+qjpykjrv39Nhd2hUPzO_96g@mail.gmail.com>

Jacob Keller <jacob.keller@gmail.com> 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 generally requires authentication" Then follow this bit
> with the mention of multiple remotes.
>
> (I think "repository" conveys the meaning better than "place".
> Technically, the URLs can be completely different as long as they end
> up contacting the same real server repository.)

Sounds sensible.  Let's see if there is any further input and then
somebody pleaes wrap this up in a final patch ;-)