Skip to content

Fixing existing stubs#2435

Draft
EnricoMi wants to merge 3 commits intoPyGithub:mainfrom
EnricoMi:fix-stubs
Draft

Fixing existing stubs#2435
EnricoMi wants to merge 3 commits intoPyGithub:mainfrom
EnricoMi:fix-stubs

Conversation

@EnricoMi
Copy link
Collaborator

@EnricoMi EnricoMi commented Feb 23, 2023

Adds stubtest to tox and CI, finds 98 stub related errors. Ignoring missing stubs, we are at 48 errors.

@EnricoMi EnricoMi changed the title Fixing all stubs Fixing existing stubs Feb 23, 2023
@trim21
Copy link
Contributor

trim21 commented Mar 20, 2023

i have a little question about this, now we are not supporting python2.7 anymore, why use stubs instead of python3 typing?

@EnricoMi
Copy link
Collaborator Author

See #2481.

@trim21
Copy link
Contributor

trim21 commented Jun 25, 2023

I guess we won't need this in a short time

@trim21
Copy link
Contributor

trim21 commented Sep 7, 2023

I think we should close this issue

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