diff options
Diffstat (limited to 'tools/pre-commit')
| -rwxr-xr-x | tools/pre-commit | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index b171a83b..3508958d 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -2,6 +2,13 @@ "$(tg --hooks-path)"/pre-commit "$@" || exit $? +if echo $(git rev-parse --symbolic-full-name HEAD) | grep -q ^refs/heads/t/; then + exit 0 +fi +if [ $(git rev-parse --symbolic-full-name HEAD) = refs/heads/test ]; then + exit 0 +fi + # These are the locations I keep my temporary source and build trees in TMPDIR=$HOME/Products/ledger-pre-commit MIRROR=$HOME/Products/ledger-pre-commit-mirror |