diff options
| -rwxr-xr-x | tools/pre-commit | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/pre-commit b/tools/pre-commit index 41788d01..c049b8f0 100755 --- a/tools/pre-commit +++ b/tools/pre-commit @@ -4,7 +4,8 @@ set -e # Exit if it's not a branch we're interested in being thorough about -if echo $(git rev-parse --symbolic-full-name HEAD) | grep -q ^refs/heads/t/; then +if echo $(git rev-parse --symbolic-full-name HEAD) | \ + egrep -q '^refs/heads/(next|t/)'; then exit 0 fi |