Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index 2201b5a5e7..27fdb67245 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -17,6 +17,7 @@ exclude_titles = [ # exclude syncs from subtree in rust-lang/rust "sync from downstream", "Sync from rust", "sync from rust", + "Rustc pull update", ] labels = ["has-merge-commits", "S-waiting-on-author"] @@ -27,3 +28,6 @@ labels = ["has-merge-commits", "S-waiting-on-author"] # Prevents mentions in commits to avoid users being spammed [no-mentions] + +# Automatically close and reopen PRs made by bots to run CI on them +[bot-pull-requests] |