8000 Edits to an image don't show up on the PEP page · Issue #824 · python/pythondotorg · GitHub
[go: up one dir, main page]
Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers 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
Closed
abalkin opened this issue Sep 21, 2015 · 2 comments
Closed

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

abalkin opened this issue Sep 21, 2015 · 2 comments
Labels
app/peps Relates to the peps app

Comments

@abalkin
Copy link
Member
abalkin commented Sep 21, 2015

I made two changes to the PNG image file:

$ hg log pep-0495-fold.png
changeset:   6056:e6c82824b10f
user:        Alexander Belopolsky <alexander.belopolsky@gmail.com>
date:        Sun Sep 20 20:25:12 2015 -0400
summary:     PEP 495: Added a gap sketch.

changeset:   6024:8c8352ff4668
user:        Alexander Belopolsky <alexander.belopolsky@gmail.com>
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 <alexander.belopolsky@gmail.com>
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.
@berkerpeksag berkerpeksag added the app/peps Relates to the peps app label Sep 21, 2015
@willingc
Copy link
Contributor
willingc commented Oct 2, 2015

@abalkin Thanks for the report.

Related to #825 and generate_pep_pages.py.

@lukpueh lukpueh mentioned this issue Feb 12, 2020
Closed
@hugovk
Copy link
Member
hugovk commented Dec 1, 2022

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/.

@hugovk hugovk closed this as completed Aug 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
app/peps Relates to the peps app
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Allow modifying pep images with same name lukpueh/pythondotorg
4 participants
@berkerpeksag @abalkin @hugovk @willingc
0