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 cleanup #9006

Closed
wants to merge 5 commits into from
Closed

copyright cleanup #9006

wants to merge 5 commits into from

Conversation

bagder
Copy link
Member

@bagder bagder commented Jun 14, 2022

Primarily, make the .reuse/dep5 the canonical source for what files to "skip" when looking for copyright info in them but also update dep5 to use less sweeping wildcards.

@bagder bagder closed this in c2ad703 Jun 14, 2022
bagder added a commit that referenced this pull request Jun 14, 2022
bagder added a commit that referenced this pull request Jun 14, 2022
bagder added a commit that referenced this pull request Jun 14, 2022
... adjusted a few files to contain copyright and license info.

Closes #9006
bagder added a commit that referenced this pull request Jun 14, 2022
Also scan skipped files to be able to find superfluous ignores, shown with -v.

Closes #9006
@bagder bagder deleted the badger/copyright-cleanup branch June 14, 2022 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

None yet

1 participant