Open ewdurbin opened 6 days ago
cc @mattip
Makes sense. I think the path forward is to carefully follow https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site/about-custom-domains-and-github-pages, and to set the custom domain part of https://github.com/pypy/pypy.org/settings/pages. Do we need to add a CNAME file to the root of the repo? @fijal is this something you have experience with (as the owner of the DNS)?
The pages are already live at https://pypy.github.io/pypy.org/
I definitely don't have experience with that. I can sort it out if that's what you want though
I am currently running through an audit of everything we're hosting on the PSF infrastructure (specifically to prepare for a major distro upgrade of our older fleet of servers).
I noticed that the hosting we're doing for www.pypy.org is fairly rudimentary, effectively just cloning the gh-pages branch and foisting that up behind an nginx server with a TLS certificate.
GitHub Pages is likely a much stronger fit for this since PyPy is now hosted on GH. That would provide you with a CDN and less delay in getting updates published.
Could the PyPy team consider making this migration?