Enforcing HTTPS on GitHub Pages After a Domain Switch

Pointing a new domain at GitHub Pages works on the first try often enough that the greyed-out...