[REF][runbot] Revert a bad commit