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

Date ranges for copyright #4755

Merged
merged 4 commits into from
Feb 12, 2023
Merged

Conversation

newhoggy
Copy link
Contributor

@newhoggy newhoggy commented Jan 7, 2023

No description provided.

@newhoggy newhoggy changed the title Newhoggy/use date ranges for copyright Use date ranges for copyright Jan 7, 2023
@newhoggy newhoggy changed the title Use date ranges for copyright Date ranges for copyright Jan 7, 2023
@newhoggy newhoggy marked this pull request as ready for review January 7, 2023 04:16
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch from 5b063dc to 312ebf5 Compare January 9, 2023 23:12
@newhoggy newhoggy mentioned this pull request Jan 9, 2023
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch from 312ebf5 to e6ff93d Compare January 12, 2023 02:52
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch from e6ff93d to 85f4fed Compare January 28, 2023 18:34
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch 2 times, most recently from dea502b to 4ac3755 Compare February 8, 2023 20:34
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch from 59bc967 to 2017282 Compare February 8, 2023 21:00
Copy link
Contributor

@JaredCorduan JaredCorduan left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link
Contributor

@Jimbo4350 Jimbo4350 left a comment

Choose a reason for hiding this comment

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

LGTM!

@newhoggy
Copy link
Contributor Author

bors r+

iohk-bors bot added a commit that referenced this pull request Feb 11, 2023
Merge #4755

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
4755: Date ranges for copyright r=newhoggy a=newhoggy



Co-authored-by: John Ky <[email protected]>
@iohk-bors
Copy link
Contributor

iohk-bors bot commented Feb 11, 2023

Timed out.

Verified

This commit was signed with the committer’s verified signature.
newhoggy John Ky

Verified

This commit was signed with the committer’s verified signature.
newhoggy John Ky

Verified

This commit was signed with the committer’s verified signature.
newhoggy John Ky

Verified

This commit was signed with the committer’s verified signature.
newhoggy John Ky
@newhoggy newhoggy force-pushed the newhoggy/use-date-ranges-for-copyright branch from 2017282 to 8e612ea Compare February 12, 2023 05:16
@newhoggy
Copy link
Contributor Author

bors r+

@iohk-bors
Copy link
Contributor

iohk-bors bot commented Feb 12, 2023

Build succeeded:

@iohk-bors iohk-bors bot merged commit 1cdeed8 into master Feb 12, 2023
@iohk-bors iohk-bors bot deleted the newhoggy/use-date-ranges-for-copyright branch February 12, 2023 06:40
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.

None yet

3 participants