From: Denton Liu Date: Tue, 23 Jun 2020 15:22:07 GMT Subject: Re: [PATCH] Doc: reference 'seen' instead of 'pu' in meta docs Message-ID: <20200623152207.GA2027104@generichostname> In-Reply-To: Hi Dscho, On Tue, Jun 23, 2020 at 05:09:12PM +0200, Johannes Schindelin wrote: > Hi Denton, > > On Tue, 23 Jun 2020, Denton Liu wrote: > > > As of 2020-06-22, the name of git.git's integration branch has been > > renamed from 'pu' to 'seen'.[0] Update git.git-specific documentation to > > refer to the new branch name. In particular, update documents that refer > > to the workflow and also "how to contribute"-type docs. > > > > There still remains other uses of 'pu' in the docs. In these cases, it > > is generally used as an example and there isn't much value in updating > > these examples since they aren't git.git specific. > > > > [0]: https://lore.kernel.org/git/xmqqimfid2l1.fsf@gitster.c.googlers.com/ > > Whoops, I only saw this now. In the meantime I submitted what I hope is a > more complete version of this patch. No worries. I was on the fence about changing any non-meta documentation but, after reading your justification for the patches, it makes sense to me. Let's supersede my version with yours. -Denton