about summary refs log tree commit diff
path: root/src/tools/miri/triagebot.toml
AgeCommit message (Expand)AuthorLines
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