Merge pull request #10613 from qzhuyan/chore/william/dont-fail-commit-without-mix

chore(git-hook): don't fail commit hook when no mix

scripts/git-hook-pre-commit.sh

@@ -5,7 +5,7 @@ set -euo pipefail
 OPT="${1:--c}"
 
 # mix format check is quite fast
-mix format --check-formatted
+which mix && mix format --check-formatted
 
 files_dirty="$(git diff --name-only | grep -E '.*\.erl' || true)"
 files_cached="$(git diff --cached --name-only | grep -E '.*\.erl' || true)"