"Page Source (GitHub)" link is broken

[jefftriplett]

(Congratulations. The new docs theme looks nice.)

I noticed that the "Page Source (GitHub)" link on https://peps.python.org/ is 404'ing because it's linked to https://github.com/python/peps/blob/main/pep-0000.rst

This page appears to be generated and is part of .gitignore so there is no page to point back to in version control. I am not sure if https://peps.python.org/pep-0000/ is the best link or just liking to GitHub directly.

See reference here:

peps/pep_sphinx_extensions/pep_theme/templates/page.html

Line 38 in 563de32

<a id="source" href="https://github.com/python/peps/blob/main/{{sourcename}}">Page Source (GitHub)</a>

[brettcannon]

This page appears to be generated and is part of .gitignore so there is no page to point back to in version control.

Yep, PEP 0 is entirely generated. Probably the only source link that would make sense is back to the repo itself.

[jefftriplett]

🙏 thank you. Sorry, I didn't know enough to give you a PR with a fix.