This appears to be working for local rendering, but I've marked it as WIP since I haven't even tried rendering it locally with the python.org renderer, and it seems like a bad idea to mess with the main PEP index without testing that first :)

#463?

Ah, d'oh - I was only looking at the issue list, not the open PR list :P

(I had seen the other PR before - I just thought I was misremembering when I didn't see it in the issue list)

Closing in favour of #463

People like this one better.

This is 3.5 compatible now, but I'm not going to risk breaking the PEP index right before I go to bed :)

If someone else wants to merge it, feel free to do so, otherwise I'll handle it tomorrow night.

I created #722 so I have a quick button to push if the live rendering turns out to have unanticipated problems.

It's been over an hour (which is usually long enough for the Fastly cache to expire), and https://www.python.org/dev/peps/ still hasn't updated for me. @berkerpeksag, would you be able to investigate whether or not the site's actually managing to build the PEPs repo now?

If it is broken, then it will likely make sense to edit the title and commit message, then hit the merge button on #722, so updates to other PEPs can still go through.

I've just ran the following commands:

$ make -C /srv/pydotorg/peps update all rss
make: Entering directory `/srv/pydotorg/peps'
git pull https://github.com/python/peps.git
From https://github.com/python/peps
 * branch            HEAD       -> FETCH_HEAD
Already up-to-date.
make: Circular pep-0000.rst <- pep-0000.rst dependency dropped.
make: Nothing to be done for `all'.
python3 pep2rss.py .
make: Leaving directory `/srv/pydotorg/peps'

and

$ /srv/pydotorg/env/bin/python /srv/pydotorg/pythondotorg/manage.py generate_pep_pages --settings pydotorg.settings.server

Both commands worked fine:

I've also purged the cache for https://www.python.org/dev/peps/

I've also confirmed that the peps checkout is up-to-date:

pydotorg@pydotorg-prod:/srv/pydotorg/peps$ git log -1
commit abab110be10b0895ec4f3b210220096fa129e6f7
Author: Harmon <Harmon758@gmail.com>
Date:   Tue Jul 10 09:05:08 2018 -0500

    Fix pep2rss to specify output encoding (GH-634)

Ok, I've rebuilt PEP index, ran generate_pep_pages, and purged Fastly cache. It works now: https://www.python.org/dev/peps/

Thanks!

Thanks!