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

Merged

bors merged 1 commit intorust-lang:masterfrom

xu-cheng:pre-push

Apr 12, 2022

Commits on Apr 11, 2022

pre-push.sh: Use python3 if python is not found
xu-cheng
committed