Re: Removing in-source contribution records contributer

G. Branden Robinson
2025-04-08T12:42:42Z

[-- Attachment #1: Type: text/plain, Size: 1375 bytes --]

Hi Alex,

At 2025-04-08T01:05:02+0200, Alejandro Colomar wrote:
> On Thu, Feb 13, 2025 at 12:20:58AM +0100, Alejandro Colomar wrote:
> > On Wed, Feb 12, 2025 at 05:02:10PM -0600, G. Branden Robinson wrote:
> > > If you do this, I suggest you replace these lines with something
> > > like:
> > >
> > > .\" See the Git revision history at
> > > .\" $URL
> > > .\" for records of changes and contributors to this file.
> >
> > Good idea.
>
> I'm thinking I won't do that. I don't want to add that overhead to
> each page. People interested in the history of a page will already
> have a look at the git history, and there they'll find the old states
> of a page, in which they'll find this information.
>
> And it would require some non-trivial work to add this note
> consistently. I'll go with a removal without replacement, I think.

Acknowledged. It's been a whole 7 weeks for so, so I don't clearly
remember my reasoning from February, but my suggestion may have been at
attempt to find a "conservative" alteration to file content or the
expressed meaning of the comments.

But, what's conservative in one dimension often is not in another, such
as "labor required".

I also agree that while Git is a complex suite of tools, "git log" is
not among its deeper magicks. At least not when run without arguments.

Regards,
Branden