RFR: 7903922: Update copyright year for jextract in files where it was missed [v6]

[Jorn Vernee]

On Thu, 2 Jan 2025 21:18:33 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

>> I have sampled a few files to manually check that this works as intended, I got the list of files changed in a certain year by running.
>> 
>> 
>> git log --since="Jan 1" --name-only --pretty=format: | sort -u > 2024file.list
>> git log --oneline --since="1/1/2023" --until="31/12/2023" --name-only --pretty=format: | sort -u > 2023file.list
>> 
>> 
>> And then used a script to update the copyright year, I did a random sampling of files to check that it worked as intended.
>> 
>> A few files had their original copyright year changed because I noticed they were added in 2024 instead.
>
> Nizar Benalla has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Update copyright of files updated in this PR to 2024

I'm not sure what the right thing to do here is. Even a trivial change requires a copyright year bump, but I'm not sure whether that applies to the copyright header itself. It seems paradoxical. We could set the year for every file in the repo to 2025, just because that year update would require setting the year to 2025?

-------------

PR Comment: https://git.openjdk.org/jextract/pull/267#issuecomment-2573115601