Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

gh-108455: Simplify the peg_generator mypy config#108620

Merged
AlexWaygood merged 2 commits into
python:mainpython/cpython:mainfrom
AlexWaygood:peg-mypy-confAlexWaygood/cpython:peg-mypy-confCopy head branch name to clipboard
Aug 29, 2023
Merged

gh-108455: Simplify the peg_generator mypy config#108620
AlexWaygood merged 2 commits into
python:mainpython/cpython:mainfrom
AlexWaygood:peg-mypy-confAlexWaygood/cpython:peg-mypy-confCopy head branch name to clipboard

Conversation

@AlexWaygood

@AlexWaygood AlexWaygood commented Aug 29, 2023

Copy link
Copy Markdown
Member

This simplifies the mypy config for the peg_generator, making it easier to see exactly which options from mypy's --strict mode can't currently be enabled

@sobolevn sobolevn 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.

Thanks, I was working on a similar PR.

@AlexWaygood AlexWaygood enabled auto-merge (squash) August 29, 2023 10:20
@AlexWaygood AlexWaygood merged commit c879b9f into python:main Aug 29, 2023
@AlexWaygood AlexWaygood deleted the peg-mypy-conf branch August 29, 2023 11:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Morty Proxy This is a proxified and sanitized view of the page, visit original site.