Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Back out get_origin() parameter type #13999

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

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

JelleZijlstra
Copy link
Member

From #13985

This comment has been minimized.

@JelleZijlstra
Copy link
Member Author

Somehow this doesn't change the mypy-primer hits back, but they did change in #13998. Not sure if mypy has nondeterministic behavior or we hit a bug in mypy-primer.

Copy link
Contributor

According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉

@hauntsaninja
Copy link
Collaborator

hauntsaninja commented May 11, 2025

I do see primer if I revert the whole PR: #14009

Not sure what was up with #13998 . It's possible that mypy is non-deterministic (I know of one case where it is), or mypy_primer has a bug, or github did something weird

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.

3 participants