about summary refs log tree commit diff
path: root/src/tools/miri/triagebot.toml
AgeCommit message (Expand)AuthorLines
2025-07-16set S-waiting-on labels on new PRsRalf Jung-0/+6
2025-07-16triagebot: tweak welcome messageRalf Jung-9/+4
2025-07-16triagebot welcome message for new usersRalf Jung-0/+11
2025-04-09triagebot: enable `[canonicalize-issue-links]` and `[no-mentions]`Urgau-0/+6
2024-12-29triagebot: enable merge conflict notificationRalf Jung-0/+8
2024-12-09Enable `[bot-pull-requests]` triagebot featureJakub Beránek-0/+3
2024-09-16Automatically add/remove labesl when github review (requests) are usedOli Scherer-0/+12
2024-05-03update comments and URLRalf Jung-6/+2
2024-05-03Add assigntiif-0/+9
2023-10-16triagebot: re-enable merge commit checkRalf Jung-3/+2
2023-09-21disable no-merges check for nowRalf Jung-2/+3
2023-09-16triagebot exclude_labels -> exclude_titlesPeter Jaszkowiak-1/+1
2023-09-11enforce no-merge policy via triagebotRalf Jung-0/+3
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+11