A script that checks the status of a github mirror

Possibly too strict - might need to add some time flexibility around the missing commits, depending on how mirroring happens.