diff options
| author | Oli Scherer <github@oli-obk.de> | 2024-09-16 23:07:18 +0200 |
|---|---|---|
| committer | Oli Scherer <github@oli-obk.de> | 2024-09-16 23:09:32 +0200 |
| commit | e04dc624a708aec084b6817d44261e00d0d70c2c (patch) | |
| tree | 62d688bef37eae1424d8bba00d7a6b2fc52ce96e | |
| parent | a0f57d87aa71e5334253541327119bb2475ec577 (diff) | |
| download | rust-e04dc624a708aec084b6817d44261e00d0d70c2c.tar.gz rust-e04dc624a708aec084b6817d44261e00d0d70c2c.zip | |
Automatically add/remove labesl when github review (requests) are used
| -rw-r--r-- | src/tools/miri/triagebot.toml | 12 |
1 files changed, 12 insertions, 0 deletions
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"] |