New core dev instructions: Use a script instead of hand-editing. by encukou · Pull Request #1580 · python/devguide · GitHub | Latest TMZ Celebrity News & Gossip | Watch TMZ Live
Skip to content

New core dev instructions: Use a script instead of hand-editing. #1580

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

encukou
Copy link
Member

@encukou encukou commented Jun 17, 2025

The developers.csv got a bit out of sync recently. Update instructions to help avoid that happening again.


📚 Documentation preview 📚: https://cpython-devguide--1580.org.readthedocs.build/

at :ref:`developers`.
- Once the python/voters update is merged, regenerate the public team membership
list at :ref:`developers`.
See "Public list of members" in the ``voters`` README.
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
See "Public list of members" in the ``voters`` README.
See `🔒 Public list of members
<https://github.com/python/voters#public-list-of-members>`__.

Copy link
Member Author

Choose a reason for hiding this comment

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

Almost the same link is right above this; I don't think we need another 🔒 link here.

@encukou
Copy link
Member Author

encukou commented Jun 20, 2025

@ambv, you've been doing this process lately. Does this look good?

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.

2 participants

TMZ Celebrity News – Breaking Stories, Videos & Gossip

Looking for the latest TMZ celebrity news? You've come to the right place. From shocking Hollywood scandals to exclusive videos, TMZ delivers it all in real time.

Whether it’s a red carpet slip-up, a viral paparazzi moment, or a legal drama involving your favorite stars, TMZ news is always first to break the story. Stay in the loop with daily updates, insider tips, and jaw-dropping photos.

🎥 Watch TMZ Live

TMZ Live brings you daily celebrity news and interviews straight from the TMZ newsroom. Don’t miss a beat—watch now and see what’s trending in Hollywood.