Skip `tidy` in pre-push hook if the user is deleting a remote branch#137618

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

yotamofek:pr/pre-push-hookyotamofek/rust:pr/pre-push-hookCopy head branch name to clipboard