Edits to an image don't show up on the PEP page

[abalkin]

I made two changes to the PNG image file:

$ hg log pep-0495-fold.png
changeset:   6056:e6c82824b10f
user:        Alexander Belopolsky <[email protected]>
date:        Sun Sep 20 20:25:12 2015 -0400
summary:     PEP 495: Added a gap sketch.

changeset:   6024:8c8352ff4668
user:        Alexander Belopolsky <[email protected]>
date:        Sun Aug 30 22:49:58 2015 -0400
summary:     PEP 495: Added a vertical segment to the graph.

changeset:   6022:db95b4037a82
user:        Alexander Belopolsky <[email protected]>
date:        Sun Aug 30 22:27:51 2015 -0400
summary:     PEP 495: Added png rasterization of the fold sketch.

but the PEP page still shows the old image.

[willingc]

@abalkin Thanks for the report.

Related to #825 and generate_pep_pages.py.

[hugovk]

This can be closed: after implementing PEP 676, PEP pages are now deployed directly from https://github.com/python/peps to https://peps.python.org/.