Skip to content

Conversation

@IanButterworth
Copy link
Member

I think this would be a good thing to require

@IanButterworth IanButterworth force-pushed the ib/contrib_pr_name_note branch from aab2c6a to 9f9ec10 Compare June 30, 2023 17:23
Co-authored-by: Jameson Nash <[email protected]>
@IanButterworth IanButterworth merged commit 36a39b0 into JuliaLang:master Jul 1, 2023
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