Skip to content

Commit ef5a574

Browse files
committed
rustc_pull: explain order of operations
1 parent 8db37a3 commit ef5a574

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/tools/miri/miri-script/src/commands.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -239,6 +239,8 @@ impl Command {
239239
// the merge has confused the heck out of josh in the past.
240240
// We pass `--no-verify` to avoid running git hooks like `./miri fmt` that could in turn
241241
// trigger auto-actions.
242+
// We do this before the merge so that if there are merge conflicts, we have
243+
// the right rust-version file while resolving them.
242244
sh.write_file("rust-version", format!("{commit}\n"))?;
243245
const PREPARING_COMMIT_MESSAGE: &str = "Preparing for merge from rustc";
244246
cmd!(sh, "git commit rust-version --no-verify -m {PREPARING_COMMIT_MESSAGE}")

0 commit comments

Comments
 (0)