(original) (raw)



On Wed, 20 Jan 2016 at 13:22 Victor Stinner <victor.stinner@gmail.com> wrote:
I pushed my table, it will be online in a few hours (I don't know when
the devguide is recompiled?):
http://docs.python.org/devguide/triaging.html#generating-special-links-in-a-comment

By the way, it would be super cool to rebuild the PEPs with a
post-commit hook server-side, rather than having to wait the crontab
which requires to wait \~30 minutes (1h? I don't know exactly).

This is a proposed optional, future feature leading from moving to GitHub: https://www.python.org/dev/peps/pep-0512/#web-hooks-for-re-generating-web-content

-Brett