pre-push git hooks should avoid push remote when `test tidy --bless` failed

[chenyukang]

I met this issue several times, after I pushed code to remote PR, the CI failed because test tidy --bless failed.
https://github.com/rust-lang/rust/actions/runs/3524341026/jobs/5909613972

I have an investigation, we have a pre-push git hook setup, but seems we do not exit when test tidy --bless changed code format, and push will also successfully, then the CI will fail for this issue.

rust/src/etc/pre-push.sh

Line 25 in b7463e8

$COMMAND

I think we should keep consistent here, if there are code format issues, git push will fail until it's fixed.

A inconvenience with this is some developers may want to push frequently with temporary changes.

@jyn514

[jyn514]

Sounds good :) are you interested in making a PR?

[chenyukang]

Ok, will give it a try.

[chenyukang]

@rustbot claim

[chenyukang]

This issue is fixed by #101175,
But my local .git/hooks/pre-push haven't updated.

Closing the issue now.