I [put a `@bors r+` inside a PR-approval](https://github.com/rust-lang/rust-clippy/pull/4795#pullrequestreview-314457982) and the bors-action was not triggered by it.