Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml index c9862495bc..27fdb67245 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -28,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] |