Fix GitHub mirroring

It looks like the credentials for the ghc-mirror account are lost; we'll need to open a new account.