From 2a34f231e9f8a54dd19515db5639600339e357f9 Mon Sep 17 00:00:00 2001 From: xFrednet Date: Mon, 1 Apr 2024 12:06:29 +0200 Subject: [PATCH] Prevent PR assignments to `@matthiaskrgr`, `@giraffate`, and `@Centri3` --- triagebot.toml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/triagebot.toml b/triagebot.toml index d8131044ff2ed..901977da25be4 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -19,7 +19,12 @@ new_pr = true [assign] contributing_url = "https://github.com/rust-lang/rust-clippy/blob/master/CONTRIBUTING.md" -users_on_vacation = ["y21"] +users_on_vacation = [ + "y21", + "matthiaskrgr", + "giraffate", + "Centri3", +] [assign.owners] "/.github" = ["@flip1995"]