]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1d35179 365d4f4)
Rollup merge of #95722 - xu-cheng:pre-push, r=Mark-Simulacrum
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 12 Apr 2022 06:46:56 +0000 (08:46 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Apr 2022 06:46:56 +0000 (08:46 +0200)
pre-push.sh: Use python3 if python is not found

Since Python 2 has reached EOL, `python` may not be available in certain systems (e.g., recent macOS). We should use `python3` in this case to avoid error like `python: No such file or directory`.


Trivial merge
Empowering everyone to build reliable and efficient software.