Re: Removing in-source contribution records contributer

[Dave Martin <Dave.Martin@arm.com>]

Hi,

On Fri, May 09, 2025 at 09:07:47PM +0200, Alejandro Colomar wrote:
> Hi Dave,
> 
> On Fri, May 09, 2025 at 08:49:39PM +0200, Alejandro Colomar wrote:
> > Hi Dave,
> > 
> > On Fri, May 09, 2025 at 04:43:36PM +0100, Dave Martin wrote:

[...]

> > > Just a suggestion, would something like this work in README:
> > > 
> > > +   AUTHORS
> > > +       List of individuals and organizations that have contributed
> > > +       content to the project.
> > > +
> > 
> > Certainly.  Thanks!
> > 
> > > This will still be a true description regardless of whether the list
> > > is complete or if non page content contributors are included.  (There
> > > are probably plenty of borderline cases as to whether something counts
> > > as a page content contribution or not.)
> > 
> > Yep.  For now, I haven't documented it, but I've drawn the line at:
> > 
> > 	-  Had its name either in a copyright notice,
> > 	-  or in a source line saying something like "modified by"
> > 	-  or was 'Author' in a git commit.
> > 
> > Anyone who meets at least one of those has been included in CREDITS (to
> > be renamed to AUTHORS).
> > 
> > Exceptions are authors of code that was taken by this project, but who
> > didn't contribute to this project themselves.  For example, the regents
> > of the University of California wrote pages that have been incorporated
> > into this project, but they didn't consciously contribute to this
> > project.  Thus, I've retained their copyright notices, and didn't add
> > them to CREDITS.

Seems reasonable.

> I've applied both changes already (currently in my branch):
> 
> <https://www.alejandro-colomar.es/src/alx/linux/man-pages/man-pages.git/commit/?h=contrib&id=98c87fcf783f20da7aae8adbe21e1954d9e8f310>
> <https://www.alejandro-colomar.es/src/alx/linux/man-pages/man-pages.git/commit/?h=contrib&id=d5218b220e41a1ed031eea6219237fda0a93d9b2>

Looks good to me.  Thanks for the credit.

Cheers
---Dave