Enforce HTTPS on GitHub Pages with a Gandi domain name, for free
A clear tutorial for a common but badly documented configuration.