Skip to content
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

copyright: fix out-of-date copyright ranges and missing headers #5141

Closed
wants to merge 2 commits into from

Conversation

bagder
Copy link
Member

@bagder bagder commented Mar 23, 2020

Reported by the new script 'scripts/copyright.pl'. The script has a regex whitelist for the files that don't need copyright headers.

Removed three (mostly usesless) README files from docs/

The new script can be made as a CI or perhaps just a script we can run once every six months and clean up?

Reported by the new script 'scripts/copyright.pl'. The script has a
regex whitelist for the files that don't need copyright headers.

Removed three (mostly usesless) README files from docs/
@bagder bagder closed this in 9a8b3b3 Mar 24, 2020
@bagder bagder deleted the bagder/copyright-overhaul branch March 24, 2020 14:06
@lock lock bot locked as resolved and limited conversation to collaborators Jun 24, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Development

Successfully merging this pull request may close these issues.

None yet

1 participant