pre-push.sh: Use python3 if python is not found#95722

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

xu-cheng:pre-pushxu-cheng/rust:pre-pushCopy head branch name to clipboard