Skip to content

Fix/types for repo topic team#2341

Merged
sfdye merged 4 commits intoPyGithub:masterfrom
snim2:fix/types-for-repo-topic-team
Oct 25, 2022
Merged

Fix/types for repo topic team#2341
sfdye merged 4 commits intoPyGithub:masterfrom
snim2:fix/types-for-repo-topic-team

Conversation

@snim2
Copy link
Contributor

@snim2 snim2 commented Oct 21, 2022

This PR fixes type definitions for:

  • Repository
  • Team
  • Topic

This was prompted by mypy failing on some of my code, because types for Repository.is_template() were missing.

The missing/incorrect types were found by running (for example):

python -m mypy.stubtest github.Repository

and going through each result manually.

If there's a more automated way to do this, I'd be keen to hear about it!

FWIW there are a large number of types that need a bit of attention. I was thinking of raising a PR to run mypy.stubtest in CI, but there are a lot of fixes to make before that could run green, so I thought it would be easier to review / merge these fixes in chunks.

@sfdye sfdye merged commit db9337a into PyGithub:master Oct 25, 2022
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