Skip to content

Rename README.md to README.md.#20198

Closed
pop2015wax wants to merge 1 commit intopython:masterfrom
pop2015wax:patch-1
Closed

Rename README.md to README.md.#20198
pop2015wax wants to merge 1 commit intopython:masterfrom
pop2015wax:patch-1

Conversation

@pop2015wax
Copy link
Copy Markdown

(Explain how this PR changes mypy.)

@sterliakov
Copy link
Copy Markdown
Collaborator

Okay, what now? Why does the semi-standard README.md need a trailing period? I've never seen that happen in any other repo, and I can't even guess the motivation behind this change. Please edit the PR body to clarify what you're trying to achieve by this PR, current placeholder text does not help anyone understand what's going on...

@sterliakov sterliakov added the pending Issues that may be closed label Nov 6, 2025
@github-actions
Copy link
Copy Markdown
Contributor

github-actions bot commented Nov 6, 2025

According to mypy_primer, this change doesn't affect type check results on a corpus of open source code. ✅

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pending Issues that may be closed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants