FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Enable some stricter mypy settings on `Lib/_pyrepl` by AlexWaygood · Pull Request #119077 · python/cpython · GitHub

/ cpython Public

Enable some stricter mypy settings on Lib/_pyrepl - #119077

Merged
AlexWaygood merged 3 commits into
python:mainfrom
AlexWaygood:pyrepl-mypy
May 20, 2024
Merged

Enable some stricter mypy settings on Lib/_pyrepl#119077
AlexWaygood merged 3 commits into
python:mainfrom
AlexWaygood:pyrepl-mypy

Conversation

Copy link
Copy Markdown
Member

Some low-hanging fruit I noticed

AlexWaygood added the topic-repl Related to the interactive shell label May 15, 2024
AlexWaygood requested a review from ambv May 15, 2024 18:47
AlexWaygood merged commit 0883fd2 into python:main May 20, 2024
AlexWaygood deleted the pyrepl-mypy branch May 20, 2024 12:52
lysnikolaou added the needs backport to 3.13 bugs and security fixes label May 22, 2024

Copy link
Copy Markdown

Thanks @AlexWaygood for the PR 🌮🎉.. I'm working now to backport this PR to: 3.13.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request May 22, 2024
(cherry picked from commit 0883fd2)

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>

bedevere-app Bot commented May 22, 2024

Copy link
Copy Markdown

GH-119428 is a backport of this pull request to the 3.13 branch.

bedevere-app Bot removed the needs backport to 3.13 bugs and security fixes label May 22, 2024
ambv pushed a commit that referenced this pull request May 22, 2024
#119428)

(cherry picked from commit 0883fd2)

Co-authored-by: Alex Waygood <Alex.Waygood@Gmail.com>
estyxx pushed a commit to estyxx/cpython that referenced this pull request Jul 17, 2024
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip issue skip news topic-repl Related to the interactive shell

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants


Back | FazBrowse Home | New Git URL