From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 01 Jun 2021 19:34:51 GMT
Subject: Re: [PATCH v2 6/6] doc: push: explain default=simple correctly
Message-ID: <xmqqpmx5s7j8.fsf@gitster.g>
In-Reply-To: <60b62420858c4_e409520828@natae.notmuch>

Felipe Contreras <felipe.contreras@gmail.com> writes:

> Therefore your proposal:
>
>   If you are pushing to the same repository you pull from (which is
>   typically `origin`), then you need to ...
>
> is actually better, I just had to remind myself that centralized and
> same repo are not the same thing.

Yes, that is exactly why I brought up

>> as it would avoid "the project is not centralized, but I push to my
>> own repository and pull from it---what should I do?" questions.

as a reason why we want to phrase it that way, so we are on the same
page ;-)