Re: [PATCH v2 6/6] doc: push: explain default=simple correctly
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 1, 2021, 19:34 UTC
- Message-ID
- <xmqqpmx5s7j8.fsf@gitster.g>
- In-Reply-To
- <60b62420858c4_e409520828@natae.notmuch>
Felipe Contreras <felipe.contreras@gmail.com> writes:
Show 7 quoted lines
> 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 ;-)