Re: [PATCH] SubmittingPatches: tags -> trailers

> Kristoffer Haugsbakk wrote:
> > “Trailer” is the preferred nomenclature in this project.  Also add a
> > definite article where I think it makes sense.
> >
> > As we can see the rest of the document already prefers this term.  This
> > just gets rid of the last stragglers.
> >
> > Signed-off-by: Kristoffer Haugsbakk <code@khaugsbakk.name>
> > ---
> >
> > Notes (series):
> >     Commit message:
> >
> >       “ “Trailer” is the preferred nomenclature in this project.
> >
> >     Must surely be true since git-interpret-trailers(1) does not even
> >     contain the string “tag”.
> >
> >     I did a grep in this directory:
> >
> >         git grep tags ':(exclude)RelNotes'
> >
> >     It didn’t look like there were any other mentions of “tags” in this
> >     sense.  Of course it was difficult to look through.
> >
> >     +CC: Josh Soref <jsoref@gmail.com> based on
> >     e.g. ac9fff2bf1c (SubmittingPatches: discourage new trailers,
> >     2023-12-28)
>
> This change makes sense to me.