Skip to content

Name mapping PEP: Improve "How to teach this" section#53

Merged
rgommers merged 9 commits intorgommers:pep-name-mappingfrom
jaimergp:how-to-teach-this
Sep 2, 2025
Merged

Name mapping PEP: Improve "How to teach this" section#53
rgommers merged 9 commits intorgommers:pep-name-mappingfrom
jaimergp:how-to-teach-this

Conversation

@jaimergp
Copy link
Copy Markdown
Collaborator

@jaimergp jaimergp commented Aug 28, 2025


📚 Documentation preview 📚: https://pep-previews--53.org.readthedocs.build/

@jaimergp jaimergp marked this pull request as ready for review August 28, 2025 15:26
@jaimergp jaimergp requested a review from rgommers August 28, 2025 15:27
Co-authored-by: Michał Górny <mgorny@gentoo.org>
Copy link
Copy Markdown
Owner

@rgommers rgommers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a good overview of what each role needs to do (and I like the changes in this PR), however it doesn't say anything about how to teach them that. I think one added sentence at the end of the section will help, saying that the central registory repository will need to contain clear documentation for the first three sets of folks, and that end users will not be taught anything directly but may be guided by clear error messages.

@jaimergp
Copy link
Copy Markdown
Collaborator Author

jaimergp commented Sep 1, 2025

Thanks @rgommers, see c15678b. Let me know what you think!

@rgommers
Copy link
Copy Markdown
Owner

rgommers commented Sep 2, 2025

Thanks, that's good enough I think. We can always improve it later in response to specific feedback. In it goes!

@rgommers rgommers merged commit 89ace64 into rgommers:pep-name-mapping Sep 2, 2025
2 of 3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants