From e04dc624a708aec084b6817d44261e00d0d70c2c Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Mon, 16 Sep 2024 23:07:18 +0200 Subject: [PATCH] Automatically add/remove labesl when github review (requests) are used --- src/tools/miri/triagebot.toml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index addb36418d4..2d93777f61d 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -17,3 +17,15 @@ contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.m [no-merges] exclude_titles = ["Rustup"] + +[review-submitted] +# This label is added when a "request changes" review is submitted. +reviewed_label = "S-waiting-on-author" +# These labels are removed when a "request changes" review is submitted. +review_labels = ["S-waiting-on-review"] + +[review-requested] +# Those labels are removed when PR author requests a review from an assignee +remove_labels = ["S-waiting-on-author"] +# Those labels are added when PR author requests a review from an assignee +add_labels = ["S-waiting-on-review"]