Re: PG 19 release notes and authors

On Mon, Apr  6, 2026 at 12:39:05PM -0400, Andres Freund wrote:
> Hi,
> 
> On 2026-04-06 12:27:52 -0400, Bruce Momjian wrote:
> > On Mon, Apr  6, 2026 at 05:46:55PM +0200, Jelte Fennema-Nio wrote:
> > > Using Author in the header instead of the footer has the benefit of
> > > actually being recognized by other tools like GitHub, just like
> > > Co-authored-by is recognized in the footer. Right now, on GitHub a
> > > non-committer author only shows up if they are listed as Co-authored-by,
> > 
> > Yes, I remember that benefit of Co-authored-by.
> 
> That fundamentally conflicts with your re-interpretation of it, doesn't it? It
> being recognized by github is an argument for using it as the primary tool of
> non-committer attribution, whereas you want to use it to list people that
> should not be credited with the change.

Yes, it does conflict.  I was just saying I remember it was part of the
2024 discussion.

-- 
  Bruce Momjian  <bruce@momjian.us>        https://momjian.us
  EDB                                      https://enterprisedb.com

  Do not let urgent matters crowd out time for investment in the future.