servo-bors has retry, and it’s useful in a number of cases:
- sporadic CI errors, e.g. inability to download sources
- intermittent code errors that we’d like to skip (for now!)
I’m really missing it in bors… Typying “bors r=” again (and, sometimes, again) is annoying.