Re: [PATCH] Doc: reference 'seen' instead of 'pu' in meta docs

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:

quoted

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/ (local)

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