Gracefully recover from mismatched SHA

[Manishearth]

Github webhook notifications sometimes get dropped, which can mean that homu is unaware of recent changes. We have an assertion to guard against that, however that just causes silent failure. Instead, it should post a comment on the relevant PR asking for reapproval.