This GH pages setup is quite old. In newer versions, the computerization.github.io repo can also have its GH pages deployed from the gh-pages branch. This means we can store our source on master and deploy to gh-pages while staying on the same repo, instead of doing a complicated cross-repo deployment.
To preserve issues/PR/commit history, the plan is to delete that repo (because it's completely autogenerated), rename this to computerization.github.io, and change the deploy script. We would also drop Circle CI in favor of GitHub actions.