diff options
| author | Ben Sima <ben@bsima.me> | 2022-02-09 18:13:40 -0500 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2022-02-09 18:16:26 -0500 |
| commit | f664669439c0f005e3579d1c67b4ebd9fa24de36 (patch) | |
| tree | b2eadfc5ad5aab3452285da6c23e4f601fcdd334 /Biz/Ide/pre-commit | |
| parent | f21e2920872fdf3c92dc815d51d6da032d157fea (diff) | |
Move git hooks to own folder
Instead of symlinking, just set the local git config.
Diffstat (limited to 'Biz/Ide/pre-commit')
| -rwxr-xr-x | Biz/Ide/pre-commit | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Biz/Ide/pre-commit b/Biz/Ide/pre-commit deleted file mode 100755 index 507d7e6..0000000 --- a/Biz/Ide/pre-commit +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/env bash -# -# - prevent frozen code from being checked in -# - guard against lint errors -## - set -e - changed=($(git diff-index --cached --name-only HEAD)) - for ns in ${changed[@]} - do - version=$($BIZ_ROOT/Biz/Ide/version $ns) - if (( $version < 1 )); then - echo "fail: version: $ns: $version" - exit 1 - else - echo "info: version: $ns: $version" - fi - done - $BIZ_ROOT/Biz/Ide/lint **/* -## |