Makes the PR announcer a bit more robust.

Out of order Github messages won't be a problem anymore.