]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #47063 - kennytm:gate-tools-on-update, r=alexcrichton
authorbors <bors@rust-lang.org>
Sat, 30 Dec 2017 19:38:24 +0000 (19:38 +0000)
committerbors <bors@rust-lang.org>
Sat, 30 Dec 2017 19:38:24 +0000 (19:38 +0000)
Requires tools to test-pass if the corresponding submodule is updated.

Follow up of #46554. Breaking a tool would not stop bors from accepting a merge, but this also means when we intend to *fix* a tool but failed, bors will *still* accept the PR. This behavior is not helpful to the tool maintainers.

This PR attempts to fix this by rejecting the tool-update merge when a tool failed. It recognizes a PR as "tool-updating" when the corresponding submodule is changed, compared with the previous commit.


Trivial merge