Skip to content
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

Infra: Link topic index pages in rendered PEP topic headers #2689

Merged
merged 2 commits into from
Jun 29, 2022

Conversation

CAM-Gerlach
Copy link
Member

This makes the topic(s) listed in the Topic header in the rendered PEPs into actual links to the index page of the specified topic(s), which is very useful.

Fixes #2688

@CAM-Gerlach CAM-Gerlach added enhancement infra Core infrastructure for building and rendering PEPs labels Jun 29, 2022
@CAM-Gerlach CAM-Gerlach requested a review from hugovk June 29, 2022 02:25
@CAM-Gerlach CAM-Gerlach self-assigned this Jun 29, 2022
@CAM-Gerlach CAM-Gerlach requested a review from AA-Turner as a code owner June 29, 2022 02:25
Copy link
Member

@hugovk hugovk left a comment

Choose a reason for hiding this comment

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

@JelleZijlstra JelleZijlstra merged commit 135e66f into python:main Jun 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement infra Core infrastructure for building and rendering PEPs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Link topic page(s) in the rendered topic header
3 participants