10000 Include the PEP index in `peps.json` by wookie184 · Pull Request #2567 · python/peps · GitHub
[go: up one dir, main page]
Skip to content

Include the PEP index in peps.json #2567

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers 8000 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
May 1, 2022
Merged

Include the PEP index in peps.json #2567

merged 1 commit into from
May 1, 2022

Conversation

wookie184
Copy link
Contributor
@wookie184 wookie184 commented May 1, 2022 •
edited
Loading

pep 0 is a bit different from other peps given that it's autogenerated, but I still think it makes sense to include it in the api/peps.json endpoint.

Page in build preview: https://pep-previews--2567.org.readthedocs.build/api/peps.json

@wookie184 wookie184 requested a review from AA-Turner as a code owner May 1, 2022 12:46
@AA-Turner AA-Turner changed the title Include pep 0 in api/peps.json Include the PEP index in peps.json May 1, 2022
@AA-Turner AA-Turner merged commit 278070a into python:main May 1, 2022
@AA-Turner
Copy link
Member

Thanks, PEP 0 is still a PEP so should be included (although fair enough to exclude PEP 0 from itself!)

A

@CAM-Gerlach CAM-Gerlach added the infra Core infrastructure for building and rendering PEPs label May 3, 2022
@AA-Turner AA-Turner mentioned this pull request May 7, 2022
Closed
@erlend-aasland erlend-aasland mentioned this pull request May 13, 2022
Closed
@erlend-aasland erlend-aasland mentioned this pull request Jun 27, 2022
Closed
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.
3 participants
@wookie184 @AA-Turner @CAM-Gerlach
0