- Sponsor
-
Notifications
You must be signed in to change notification settings - Fork 2.2k
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
use 'types-docutils' instead of 'docutils-stubs' for docutils type annotations #12012
Conversation
This comment was marked as outdated.
This comment was marked as outdated.
This comment was marked as resolved.
This comment was marked as resolved.
807bb3c
to
ee465ce
Compare
currently 121 errors: i'll see what that changes to after python/typeshed#11468 is merged
|
ee465ce
to
70d8657
Compare
4032e3d
to
ba12f80
Compare
#12034 should help to reduce the type errors in this PR |
Definitely yes since many of the errors were due to that. |
7562b10
to
0141907
Compare
9d70b62
to
974e185
Compare
getting harder to make progress on this, as a lot of the remaining errors are genuine type safety bugs in sphinx, rather than just gaps in the upstream type stubs. For example there are many places where Sphinx uses |
083315e
to
4d0f537
Compare
4d0f537
to
9e8e25a
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Cheers for all the work @danieleades!
generally all good, just see the one comment for a quick suggestion
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Haven't looked at everything but I think it should be fine. We'll do PRs to fix each type ignore I think.
e8bdd56
to
568b914
Compare
any major blockers to getting this merged? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't think I have something else in mind.
I'm going to wait until this evening (around 18:00 UTC+1) before merging it to let @chrisjsewell review it again if needed. Otherwise, I'll merge it. Please ping me @danieleades if I forget about it. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
all good cheers!
Thank you! |
closes #12007
I expect this to be a long-running PR which will help identify gaps in the typeshed docutils libraries.
Once all the issues are squashed upstream this can be merged.