Skip to content

Update copyright headers for 2023#327

Merged
mdickinson merged 4 commits into
mainfrom
update-copyright-headers
Feb 8, 2023
Merged

Update copyright headers for 2023#327
mdickinson merged 4 commits into
mainfrom
update-copyright-headers

Conversation

@mdickinson
Copy link
Copy Markdown
Member

@mdickinson mdickinson commented Feb 7, 2023

This PR updates copyright headers for 2023, using an automated regex search and replace with pattern (20\d\d)-2022

Expecting CI to fail until #326 is merged.

@mdickinson mdickinson mentioned this pull request Feb 7, 2023
1 task
@rahulporuri
Copy link
Copy Markdown
Contributor

I'm guessing that once #326 is merged and this PR is updated, this PR will remove the "--copyright-end-year 2022 " introduced in etstool.py in that PR?

@mdickinson
Copy link
Copy Markdown
Member Author

this PR will remove the "--copyright-end-year 2022 " [...]

Yep, done. Thank you!

@mdickinson mdickinson merged commit ff74761 into main Feb 8, 2023
@mdickinson mdickinson deleted the update-copyright-headers branch February 8, 2023 08:40
corranwebster pushed a commit that referenced this pull request May 25, 2023
This PR updates copyright headers for 2023, using an automated regex
search and replace with pattern `(20\d\d)-2022`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants