Add github mirror step

2 jobs for github-mirror-ci in 1 minute and 6 seconds (queued for 2 seconds)