8000 Infra: link directly to RSS feed at peps.python.org by hugovk · Pull Request #2962 · python/peps · GitHub
[go: up one dir, main page]
Skip to content

Infra: link directly to RSS feed at peps.python.org #2962

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jan 14, 2023
Merged

Infra: link directly to RSS feed at peps.python.org #2962

merged 1 commit into from
Jan 14, 2023

Conversation

hugovk
Copy link
Member
@hugovk hugovk commented Jan 14, 2023 •
edited
Loading

The PEP HTML headers have a link to the RSS feed:

This is the old location, and there's a redirect in place to the new location, but let's link directly to the new one:

@hugovk hugovk added the infra Core infrastructure for building and rendering PEPs label Jan 14, 2023
@hugovk hugovk requested a review from AA-Turner as a code owner January 14, 2023 13:36
@AA-Turner AA-Turner merged commit 2411637 into python:main Jan 14, 2023
@hugovk hugovk deleted the direct-to-rss branch January 14, 2023 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AA-Turner AA-Turner AA-Turner approved these changes

Assignees
No one assigned
Labels
infra Core infrastructure for building and rendering PEPs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hugovk @AA-Turner
0