Skip to content

Conversation

@StanFromIreland
Copy link
Member

As suggested by Petr in python/devguide#1712, this PR moves exploring.rst to the InternalDocs folder. I also converted it to markdown.

Important

It would be great to preserve the authors, as such I have added all of the commiters to the file from the devguide (git log --format='Co-Authored-By: %an <%ae>' -- internals/exploring.rst) to my commit message, I would greatly appreciate it if whoever merges this ensures they are in the squash merge commit message.

Co-Authored-By: Paul Ross <[email protected]>
Co-Authored-By: Carol Willing <[email protected]>
Co-Authored-By: Hugo van Kemenade <[email protected]>
Co-Authored-By: Ezio Melotti <[email protected]>
Co-Authored-By: Adam Turner <[email protected]>
Co-Authored-By: Adam Turner <[email protected]>
@encukou encukou merged commit a7501f0 into python:main Dec 15, 2025
28 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Dec 15, 2025
@encukou
Copy link
Member

encukou commented Dec 15, 2025

Thank you!

I would greatly appreciate it if whoever merges this ensures [all authors] are in the squash merge commit message.

Roger, thanks for noting that!
I deduplicated Adam's entry.

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.

2 participants