Update no_merge.rs

rust-lang · Dec 31, 2022 · 5705d73 · 5705d73
1 parent fcc7c55
commit 5705d73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/tidy/src/no_merge.rs b/src/tools/tidy/src/no_merge.rs
@@ -48,7 +48,7 @@ fn find_merge_commits(remote: &str) -> Result<String, String> {
         "--format=%s",
         &format!("{remote}/master..HEAD"),
         // Ignore subtree syncs. Add your new subtrees here.
-        //   ":!src/tools/miri", // Ignore miri to see whether its the only thing missing or whatevers going on
+        ":!src/tools/miri", // Ignore miri to see whether its the only thing missing or whatevers going on
         ":!src/tools/rust-analyzer",
         ":!compiler/rustc_smir",
         ":!library/portable-simd",