Skip to content

Conversation

@cclauss
Copy link
Contributor

@cclauss cclauss commented Jan 1, 2024

@sbidoul
Copy link
Member

sbidoul commented Jan 15, 2024

Thanks for filing this. Note this is already part of #12454.

@cclauss
Copy link
Contributor Author

cclauss commented Jan 15, 2024

Thanks for filing this. Note this is already part of #12454.

I do not have access rights to approve #12454 but you probably have access writes to approve and merge this PR and then #11507 so we can get pre-commit to be green again. If you want #12454 to be the merged PR then please close this one.

@sbidoul
Copy link
Member

sbidoul commented Jan 15, 2024

Done in #12454

@sbidoul sbidoul closed this Jan 15, 2024
@cclauss
Copy link
Contributor Author

cclauss commented Jan 15, 2024

Closing in favor of

@cclauss cclauss deleted the mypy_1.8.0 branch January 15, 2024 11:46
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 31, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants