user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Enable [bot-pull-requests] triagebot feature

Browse source
This commit is contained in:
Jakub Beránek 2024-12-09 13:25:08 +01:00
parent ac667ef303
commit 4917fe5d48
No known key found for this signature in database
GPG key ID: 909CD0D26483516B
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/tools/miri/triagebot.toml
View file

@ -29,3 +29,6 @@ review_labels = ["S-waiting-on-review"]
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"]
# Automatically close and reopen PRs made by bots to run CI on them
[bot-pull-requests]