Re: Copyright-paperwork-exempt

2023-06-01 Thread Bruno Haible
Paul Eggert wrote: > On 2023-05-31 04:57, Bruno Haible wrote: > > > But I think it would be good to write > >Copyright-paperwork-exempt: yes > > (like everyone else does), not > >Copyright-paperwork-exempt: true > > Yes, that was my intent; I merely

Re: Copyright-paperwork-exempt

2023-05-31 Thread Paul Eggert
On 2023-05-31 04:57, Bruno Haible wrote: But I think it would be good to write Copyright-paperwork-exempt: yes (like everyone else does), not Copyright-paperwork-exempt: true Yes, that was my intent; I merely forgot whether it was "yes" or "true". Adding this to HACKING sounds good.

Re: Copyright-paperwork-exempt

2023-05-31 Thread Bernhard Voelker
On 5/31/23 13:57, Bruno Haible wrote: I see this "Copyright-paperwork-exempt" annotation for the first time. I like it, since * The ChangeLog is meant to record this information [1], but when ChangeLogs are generated from git history, this information must obviously be

Copyright-paperwork-exempt

2023-05-31 Thread Bruno Haible
Paul Eggert wrote: > Thanks, I installed that. > Copyright-paperwork-exempt: true I see this "Copyright-paperwork-exempt" annotation for the first time. I like it, since * The ChangeLog is meant to record this information [1], but when ChangeLogs are generated from g

Re: [PATCH] gitlog-to-changelog: Copyright-paperwork-exempt: yes == (tiny change)

2012-01-02 Thread Gary V. Vaughan
e, so > I'll wait for an ACK before I push. That's great! Please go right ahead :-) Cheers, Gary > Jim > > From 9301160f1f63d1193402a4cecf17c33da2305020 Mon Sep 17 00:00:00 2001 > From: "Gary V. Vaughan" > Date: Fri, 30 Dec 2011 18:47:55 +0100 > Subj

[PATCH] gitlog-to-changelog: Copyright-paperwork-exempt: yes == (tiny change)

2011-12-30 Thread Jim Meyering
I push. Jim >From 9301160f1f63d1193402a4cecf17c33da2305020 Mon Sep 17 00:00:00 2001 From: "Gary V. Vaughan" Date: Fri, 30 Dec 2011 18:47:55 +0100 Subject: [PATCH] gitlog-to-changelog: Copyright-paperwork-exempt: yes == (tiny change) * build-aux/gitlog-to-changelog (main): Map the string, at beginning of lin