Subject: Re: [PATCH 15/15] push: rename !triangular to same_remote

From: Junio C Hamano <[email-masked]>
Date: Mon, 31 May 2021 16:54:51 +0900

Felipe Contreras <[email-masked]> writes:

> The typical case is what git was designed for: distributed remotes.
>
> It's only the atypical case--fetching and pushing to the same
> remote--that we need to keep an eye on.

Yup.  Avoiding the phrase "centralized" and using "same_remote"
makes quite a lot of sense, too.

Overall the end-result of the series is quite pleasant read, even
though some intermediate states in the middle risked readers to
worry about "are we going in the right direction?"

Well done.