diff options
| author | tiif <pekyuan@gmail.com> | 2024-05-03 07:05:29 +0800 |
|---|---|---|
| committer | tiif <pekyuan@gmail.com> | 2024-05-03 07:05:29 +0800 |
| commit | 56bb51761ab90fa3ccc6261d59b71d2fdc404b54 (patch) | |
| tree | be76534abeba12abe01ea516ff80dec29ad3891e | |
| parent | f6c00900649d0f63c0f496caf24fb8a2d0356392 (diff) | |
| download | rust-56bb51761ab90fa3ccc6261d59b71d2fdc404b54.tar.gz rust-56bb51761ab90fa3ccc6261d59b71d2fdc404b54.zip | |
Add assign
| -rw-r--r-- | src/tools/miri/triagebot.toml | 9 |
1 files changed, 9 insertions, 0 deletions
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"] |