-
Notifications
You must be signed in to change notification settings - Fork 38.6k
scripted-diff: Bump copyright headers #20813
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-
|
ACK fa0074e |
|
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers. ConflictsReviewers, this pull request conflicts with the following ones:
If you consider this pull request important, please also help to review the conflicting pull requests. Ideally, start with the one that should be merged first. |
|
You want years entirely removed from all currently used copyright headers so they don't need to be updated next year @MarcoFalke? A good first issue? |
|
Shouldn't the year be |
|
Yes, should be 2021... |
|
No, none of these files have been touched in the year 2021 yet. |
|
Some of them haven't been touched in 2020 either. I assumed the bump was for all files, regardless of whether we touched them or not. |
|
The script will update the number in each file to be the year in the author date. I am checking that the script works correctly, so if any update happened without a corresponding edit in 2020, please let me know. |
|
Edit: I've confused myself, I think. The idea is to set the copyright to the year at year-end for anything that changed that year. Bloody confusing, but I understand the point now, thanks. |
Needs to be done because no one has removed the years yet