Re: Removing in-source contribution records contributer

Tycho Andersen
2025-05-10T22:24:21Z

On Fri, May 09, 2025 at 11:11:08PM +0200, Alejandro Colomar wrote:
> Hi Tycho,
>
> On Fri, May 09, 2025 at 02:56:01PM -0600, Tycho Andersen wrote:
> > > > Yes, I approve. (Though I have changed to using tycho@tycho.pizza as
> > > > my primary e-mail address, it would be handy if you could make that
> > > > correction during this process as well, but not required.)
> > >
> > > Thanks! (I had already added you to CREDITS with that address, unless
> > > I'm mistaken. Can you please check if all's good?)
> >
> > Here I see:
> >
> > https://git.kernel.org/pub/scm/docs/man-pages/man-pages.git/diff/CREDITS?id=9f2986c34166085225bb5606ebfd4952054e1657
> >
> > tycho@tycho.ws; but it's also fine if you want to keep the commit id
> > the same.
>
> Ahh, I see. There are three commits that touch that file: The first
> one took the names from "modified by" and similar lines in source code.
> (You don't appear in that one.) The second one took the names from
> copyright notices. I picked @tycho.ws in that one. Then, the third one
> took names from commit Author. In that one, I updated your main to the
> @tycho.pizza one.
>
> $ git log -p man-pages-6.14 -- AUTHORS CREDITS \
> | grep \
> -e ^commit \
> -e ^Date: \
> -e '^ \(CREDITS\|AUTHORS\|\*\|man/\)' \
> -e tycho \
> -e ^--- -e ^+++
> commit 0cf255ac79231999d79cd656f81013089d2d4153
> Date: Fri Apr 11 16:15:50 2025 +0200
> CREDITS: Add commit authors
> --- a/CREDITS
> +++ b/CREDITS
> -Tycho Andersen <tycho@tycho.ws>
> +Tycho Andersen <tycho@tycho.pizza>
> commit 9f2986c34166085225bb5606ebfd4952054e1657
> Date: Fri Apr 11 02:19:48 2025 +0200
> *, CREDITS: Unify copyright notices
> --- a/CREDITS
> +++ b/CREDITS
> +Tycho Andersen <tycho@tycho.ws>
> commit 52b7bab3a44fb5d2d464fa8acd6beee3b62269aa
> Date: Fri Mar 14 14:02:41 2025 +0100
> man/, CREDITS: Move in-source contribution records to CREDITS
> --- /dev/null
> +++ b/CREDITS

Looks great, thank you.

Tycho