Skip to content

Pep command cannot fetch PEP 0. #805

@Numerlor

Description

@Numerlor

The PEP 0 is an index of all the other PEPs;
instead of being in the github repo directly, it's generated automatically through a script present there.
If implemented, scraping the site for it seems to be the better option as generating it would require the whole up to date repo.
The header is a constant in the pep0 package and can be gotten from there in case of future changes
or as suggested in the comment below https://github.com/python/peps/blob/master/pep0/constants.py#L10-L20

Metadata

Metadata

Assignees

No one assigned

    Labels

    a: informationRelated to information commands: (doc, help, information, reddit, site, tags)p: 3 - lowLow Prioritys: WIPWork In Progresst: bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions