mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 06:44:35 +00:00
when josh-proxy screws up the roundtrip, say what the involved commits are
This commit is contained in:
parent
bf5844ea2d
commit
70805f9a6b
@ -202,7 +202,10 @@ impl flags::RustcPush {
|
||||
let head = cmd!(sh, "git rev-parse HEAD").read()?;
|
||||
let fetch_head = cmd!(sh, "git rev-parse FETCH_HEAD").read()?;
|
||||
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:");
|
||||
// https://github.com/github-linguist/linguist/compare/master...octocat:linguist:master
|
||||
|
Loading…
Reference in New Issue
Block a user