Unnamed repository; edit this file 'description' to name the repository.
Configure triagebot to reopen bot PRs
Jakub Beránek 9 months ago
parent 5c479ed · commit ffeb325
-rw-r--r--triagebot.toml3
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]