Change github first

This way, we can detect any oddities around force-push being needed
sooner rather than later.