Re: [PATCH 15/15] push: rename !triangular to same_remote
From: Junio C Hamano <hidden>
Date: 2021-05-31 07:54:54
From: Junio C Hamano <hidden>
Date: 2021-05-31 07:54:54
Felipe Contreras [off-list ref] 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.