Skip to content

Conversation

@encukou
Copy link
Member

@encukou encukou commented May 17, 2023

Here is a rather crude script that adds Markdown links and titles to “PEP nnn”. Maybe it'll be useful.
I meant to polish this before sharing it, but didn't get around to it, so it has sharp edges. If you use it, only feed it backed-up files, and check its work.

@StanFromIreland
Copy link
Member

Note that if one writes PEP-XXX in a GitHub issue, the link is automatically created, e.g.: PEP-545.

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