Re: [PATCH 15/15] push: rename !triangular to same_remote
- From
Junio C Hamano <gitster@pobox.com>
- Date
- May 31, 2021, 07:54 UTC
- Message-ID
- <xmqqh7ijuylw.fsf@gitster.g>
- In-Reply-To
- <20210529074458.1916817-16-felipe.contreras@gmail.com>
Felipe Contreras <felipe.contreras@gmail.com> 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.