mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #3070 - RalfJung:no-no-merges, r=RalfJung

Browse Source 
disable no-merges check for now

It leads to false warnings on sync PRs until https://github.com/rust-lang/triagebot/pull/1720 lands.
This commit is contained in:
bors 2023-09-21 06:06:36 +00:00
commit 70f3d3e6ad
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/tools/miri/triagebot.toml
View File

@ -10,5 +10,6 @@ allow-unauthenticated = [
# Gives us the commands 'ready', 'author', 'blocked' # Gives us the commands 'ready', 'author', 'blocked'
[shortcut] [shortcut]
[no-merges] # disabled until https://github.com/rust-lang/triagebot/pull/1720 lands
exclude_titles = ["Rollup of", "sync from rustc"] #[no-merges]
#exclude_titles = ["Rollup of", "sync from rustc"]