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

Merge pull request #4083 from Kobzol/bot-autoclose

Browse source 
Enable `[bot-pull-requests]` triagebot feature
This commit is contained in:
Ben Kimock 2024-12-09 13:55:15 +00:00 • committed by GitHub
commit 24d164e401
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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]