From f664669439c0f005e3579d1c67b4ebd9fa24de36 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Wed, 9 Feb 2022 18:13:40 -0500 Subject: Move git hooks to own folder Instead of symlinking, just set the local git config. --- Biz/Ide/pre-commit | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100755 Biz/Ide/pre-commit (limited to 'Biz/Ide/pre-commit') 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 **/* -## -- cgit v1.2.3