Bors sometimes picks up an outdated commit

[RalfJung]

This can be seen here:

• force push to the branch
• wait 1h
• bors r+
• Bors now considers the commit before the force-push to be what got approved