diff options
| -rwxr-xr-x | tools/pre-commit | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 25fe8a8b..f9a872f3 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -1,9 +1,5 @@ #!/bin/sh -if [ ! $(git rev-parse --symbolic-full-name HEAD) = refs/heads/master ]; 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 |