On Mon, Nov 5, 2018 at 2:11 AM Julien Palard via Python-Dev <python-dev@python.org> wrote: > > Considering feedback from Ned, what about building this as an independent > service? We don't really need to interface with python.org at all, we just > need some hardware, a domain, some code to interface with github API and... > to start it's probably enough? It would be a usefull POC. >
After running 'make html', the build directory is the entire site as a set of static files, right? Maybe the easiest solution is to tie in with GitHub Pages. I already have a script that will push a directory up as the gh-pages branch of the current repo; it'd just need a tweak so it can push to a specific repo, which you could create on GitHub for the purpose. Not 100% automatic, but also not too difficult to automate, if needed. https://github.com/Rosuav/shed/blob/master/git-deploy ChrisA _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
