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.

Sign up for GitHub

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

Jump to bottom

Remove duplicated copyright headers #2876

Merged
merged 1 commit into from
Nov 28, 2022
Merged

Remove duplicated copyright headers #2876

merged 1 commit into from
Nov 28, 2022

Conversation

pcapriotti
Copy link
Contributor

Some extra copyright headers were probably added by mistake by some scripts at some point. This PR removes them.

Checklist

@pcapriotti pcapriotti temporarily deployed to cachix November 28, 2022 14:15 Inactive
@pcapriotti pcapriotti temporarily deployed to cachix November 28, 2022 14:15 Inactive
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Nov 28, 2022
supersven
supersven approved these changes Nov 28, 2022
View reviewed changes
Copy link
Contributor

@supersven supersven left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM 👍

Thanks a lot for cleaning this up.

@pcapriotti pcapriotti merged commit 034401e into develop Nov 28, 2022
@pcapriotti pcapriotti deleted the pcapriotti/fix-header branch November 28, 2022 15:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@supersven supersven supersven approved these changes

@battermann battermann battermann approved these changes

@elland elland elland approved these changes

Assignees
No one assigned
Labels
ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@pcapriotti @elland @battermann @supersven @zebot