Skip to content

Commit 56bb517

Browse files
committed
Add assign
1 parent f6c0090 commit 56bb517

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

src/tools/miri/triagebot.toml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,5 +10,14 @@ allow-unauthenticated = [
1010
# Gives us the commands 'ready', 'author', 'blocked'
1111
[shortcut]
1212

13+
# Gives us 'claim', 'release-assignment', 'assign @user'
14+
[assign]
15+
# If set, posts a warning message if the PR is opened against a non-default
16+
# branch (usually main or master).
17+
warn_non_default_branch = true
18+
# If set, the welcome message to new contributors will include this link to
19+
# a contributing guide.
20+
contributing_url = "https://rustc-dev-guide.rust-lang.org/contributing.html"
21+
1322
[no-merges]
1423
exclude_titles = ["Rustup"]

0 commit comments

Comments
 (0)