-
Notifications
You must be signed in to change notification settings - Fork 63
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
Make this repo not a "fork" repo to enable github search #76
Comments
Interesting, didn’t realize code search was disabled. is there an easy way to mark it as not a fork? maybe sourcegraph has it indexed? |
I think you may have to contact support to convert it? Unsure. |
Just to add here, wouldn't it be better to actually try to merge this back to the original lib? There is an open discussion regarding supporting other type checks (e.g. pyright), and only using the mypy plugin for specific "django magic stuff" that is not possible to type using the existing python typing lib. If you look at the latest 2 comments in that issue, people there seems to be open for the merge. |
If merging is possible that would be grand also, though seeing as we don't know if or when that would happen it would be good to have all the GitHub features enabled here. This repo is not currently being used as a "fork" as GitHub understands it. |
I opened typeddjango#579 almost 9 months ago. I was hoping the maintainers of That didn't happen. The Even if not all of that is real differences in code, merging these two projects now is somewhere between "huge undertaking" and "impossible". That's too bad, because the approach taken in this repo, i.e. stubs that work for any Python type checker, makes more sense.
In an ideal world, |
I don't think this was true (I've used django-stubs without the plugin). But regardless, django-stubs version 4.2.6 removed the dependency on mypy and we're trying to facilitate small pull requests to improve experience with other type checkers. I've opened an issue for discussion: |
Hello!
This project has evolved quite a long way from the original. Would it be possible to mark it as not a fork? That way the github search feature would work.
There could be a note in the README crediting the original authors instead.
Thanks,
Louis
The text was updated successfully, but these errors were encountered: