Infra: generate machine-readable PEP index#2475

Merged

hugovk merged 5 commits intopython:mainfrom

hugovk:peps-json

Apr 1, 2022

Commits on Mar 27, 2022

Infra: generate machine-readable PEP index
hugovk
committed

Commits on Mar 29, 2022

Commits on Mar 30, 2022

Infra: Build JSON from dict, with PEP number as key, instead of list
hugovk
committed