chore: require clean working tree in pre-push hook
parent
a5f7f1b4ae
commit
1070cf88fd
|
|
@ -4,6 +4,13 @@ set -euo pipefail
|
||||||
repo_root="$(git rev-parse --show-toplevel)"
|
repo_root="$(git rev-parse --show-toplevel)"
|
||||||
cd "$repo_root"
|
cd "$repo_root"
|
||||||
|
|
||||||
|
echo "pre-push: checking for a clean working tree"
|
||||||
|
if [[ -n "$(git status --porcelain)" ]]; then
|
||||||
|
echo "pre-push: refuse to push — working tree is not clean. Commit, stash, or remove changes first:" >&2
|
||||||
|
git status --short >&2
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
|
|
||||||
gdlint_bin=""
|
gdlint_bin=""
|
||||||
gdformat_bin=""
|
gdformat_bin=""
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue