From 56bb51761ab90fa3ccc6261d59b71d2fdc404b54 Mon Sep 17 00:00:00 2001 From: tiif Date: Fri, 3 May 2024 07:05:29 +0800 Subject: [PATCH 1/2] Add assign --- src/tools/miri/triagebot.toml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 3b767b3e62f..22dc0c49aa8 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -10,5 +10,14 @@ allow-unauthenticated = [ # Gives us the commands 'ready', 'author', 'blocked' [shortcut] +# Gives us 'claim', 'release-assignment', 'assign @user' +[assign] +# If set, posts a warning message if the PR is opened against a non-default +# branch (usually main or master). +warn_non_default_branch = true +# If set, the welcome message to new contributors will include this link to +# a contributing guide. +contributing_url = "https://rustc-dev-guide.rust-lang.org/contributing.html" + [no-merges] exclude_titles = ["Rustup"] From b348e418611dd38b9022e0dc95d125daf64c2492 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 3 May 2024 08:00:24 +0200 Subject: [PATCH 2/2] update comments and URL --- src/tools/miri/triagebot.toml | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 22dc0c49aa8..addb36418d4 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -10,14 +10,10 @@ allow-unauthenticated = [ # Gives us the commands 'ready', 'author', 'blocked' [shortcut] -# Gives us 'claim', 'release-assignment', 'assign @user' +# Enables assigning users to issues and PRs. [assign] -# If set, posts a warning message if the PR is opened against a non-default -# branch (usually main or master). warn_non_default_branch = true -# If set, the welcome message to new contributors will include this link to -# a contributing guide. -contributing_url = "https://rustc-dev-guide.rust-lang.org/contributing.html" +contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md" [no-merges] exclude_titles = ["Rustup"]