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@xxxxxxxxxxxxxxxxxxxxxx/ > > 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
