Skip to content

Copyright#2053

Merged
Lestropie merged 3 commits intodevfrom
copyright
May 15, 2020
Merged

Copyright#2053
Lestropie merged 3 commits intodevfrom
copyright

Conversation

@Lestropie
Copy link
Member

Updates everything to report latest change as 2020, catches a number of new source files in 3.0.0 that contained old versions of the copyright header, enforces consistency of formatting of such across all source files, and checks that consistency within CI.

Lestropie and others added 3 commits May 14, 2020 03:37
Changes necessary for upcoming copyright notice changes to work.
Script ensures conformity of copyright information in source file headers.
@Lestropie Lestropie requested a review from a team May 14, 2020 01:30
@Lestropie Lestropie self-assigned this May 14, 2020
Copy link
Member

@jdtournier jdtournier left a comment

Choose a reason for hiding this comment

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

Seems good to me. We can always refine if issues arise...

@Lestropie Lestropie merged commit f766499 into dev May 15, 2020
@Lestropie Lestropie deleted the copyright branch May 15, 2020 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants