The current projectname is very confusing.
This means that for the Paylogic repos there can only be one static site and that is now used for PyGrunn.org?
Hmm...not too big on that. We'll leave it for now, but I'd prefer to, e.g., manually push approved new versions of the site to S3. We should create a 'release' branch that is always deployable and only merge approved pull requests into 'release'.
For the Github url yes, that'll be ugly, but CNAME is also supported for gh-pages branch, and the domain in the CNAME won't need a redirect, only DNS A record has to be set, as with the dev-portal.
As it turns out we couldn't rename with no problem because after the rename of the repository from paylogic.github.com to pygrunn.org the dev-portal (which is also hosted on GitHub Pages) went offline :-). After some debugging I suspect that this is a bug / misfeature of GitHub:
On a hunch I created a (more or less) empty commit in the gh-pages branch of the dev-portal repository and pushed that to GitHub, hoping it would revive the developer portal. It did :-D.