Skip to content

chore: add new required type packages for mypy - #1505

Merged
nejch merged 1 commit into
python-gitlab:masterfrom
JohnVillalovos:jlvillal/mypy-deps
Jun 13, 2021
Merged

chore: add new required type packages for mypy#1505
nejch merged 1 commit into
python-gitlab:masterfrom
JohnVillalovos:jlvillal/mypy-deps

Conversation

@JohnVillalovos

@JohnVillalovos JohnVillalovos commented Jun 8, 2021

Copy link
Copy Markdown
Member

New version of mypy flagged errors for missing types. Install the
recommended type-* packages that resolve the issues.

PR #1504 will fail until this is merged.

New version of mypy flagged errors for missing types. Install the
recommended type-* packages that resolve the issues.
@max-wittig

Copy link
Copy Markdown
Member

Interesting thing. Seems like that's kind of a mess. So every package has to kinda publish another package with types-*?

@nejch

nejch commented Jun 9, 2021

Copy link
Copy Markdown
Member

Interesting thing. Seems like that's kind of a mess. So every package has to kinda publish another package with types-*?

These types-* are actually all from the typeshed repo but packaged separately (only released when the specific change). mypy used to bundle all the non-stdlib typing but changed this for some reason. It seems like mypy can take care of this itself with an --install-types flag, but maybe tracking versions is better

@JohnVillalovos

Copy link
Copy Markdown
Member Author

Other projects are having to do the same thing. Example: https://gitlab.com/cki-project/cki-lib/-/merge_requests/278

@nejch nejch left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I guess since we will never have many dependencies for the package itself this shouldn't get out of control and renovate should keep it tidy for us at least for now.

@nejch
nejch merged commit 5446423 into python-gitlab:master Jun 13, 2021
@JohnVillalovos
JohnVillalovos deleted the jlvillal/mypy-deps branch June 13, 2021 16:40
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