when josh-proxy screws up the roundtrip, say what the involved commits are

This commit is contained in:
Ralf Jung 2024-08-01 12:27:58 +02:00
parent 536a3e9503
commit 83e534923d

View file

@ -202,7 +202,10 @@ impl flags::RustcPush {
let head = cmd!(sh, "git rev-parse HEAD").read()?; let head = cmd!(sh, "git rev-parse HEAD").read()?;
let fetch_head = cmd!(sh, "git rev-parse FETCH_HEAD").read()?; let fetch_head = cmd!(sh, "git rev-parse FETCH_HEAD").read()?;
if head != fetch_head { if head != fetch_head {
bail!("Josh created a non-roundtrip push! Do NOT merge this into rustc!"); bail!(
"Josh created a non-roundtrip push! Do NOT merge this into rustc!\n\
Expected {head}, got {fetch_head}."
);
} }
println!("Confirmed that the push round-trips back to rust-analyzer properly. Please create a rustc PR:"); println!("Confirmed that the push round-trips back to rust-analyzer properly. Please create a rustc PR:");
// https://github.com/github-linguist/linguist/compare/master...octocat:linguist:master // https://github.com/github-linguist/linguist/compare/master...octocat:linguist:master