On Wed, 20 Jan 2016 at 14:28 Victor Stinner <victor.stinner@gmail.com> wrote:

2016-01-20 23:01 GMT+01:00 Brett Cannon <brett@python.org>:
> 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

I'm using the free service ReadTheDocs.org and it's really impressive
how fast it is to update the HTML page after a push. It's usually less
than 10 seconds.

I have no idea if the way our docs are built would work on readthedocs.org, but if it could then I would definitely vote to move our docs there and have the PSF make a regular donation for the service.

But this is a discussion to have on core-workflow@ and not here.