Skip to content

Conversation

@Fidget-Spinner
Copy link
Member

@Fidget-Spinner Fidget-Spinner commented Dec 17, 2025

I've been told this name is fine by them.


📚 Documentation preview 📚: https://cpython-previews--142877.org.readthedocs.build/

@Fidget-Spinner
Copy link
Member Author

This is just a simple change, so enabling auto merge.

@Fidget-Spinner Fidget-Spinner merged commit 49627dc into python:main Dec 17, 2025
37 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Dec 17, 2025
@Fidget-Spinner Fidget-Spinner deleted the rename-zheaoli branch December 17, 2025 14:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Documentation in the Doc dir skip issue skip news

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant