Improve GitHub mirroring instructions

2 jobs for master in 1 minute and 1 second (queued for 7 seconds)