diff options
| author | Lex Neva <github.com@lexneva.name> | 2018-09-15 13:03:34 -0400 |
|---|---|---|
| committer | Lex Neva <github.com@lexneva.name> | 2018-09-15 13:03:34 -0400 |
| commit | baee286190312e315b389fa5659e70fc630617a1 (patch) | |
| tree | 764db2d8bcde270241af11db5be58912dbfa33d0 /git-hooks | |
| parent | 6d57e4ce5c63ac56126cdf55740754260bb5f89a (diff) | |
remove git hook
Diffstat (limited to 'git-hooks')
| -rw-r--r-- | git-hooks/README.md | 1 | ||||
| -rwxr-xr-x | git-hooks/pre-commit | 14 |
2 files changed, 0 insertions, 15 deletions
diff --git a/git-hooks/README.md b/git-hooks/README.md deleted file mode 100644 index 910f476a..00000000 --- a/git-hooks/README.md +++ /dev/null @@ -1 +0,0 @@ -Files in this directory are meant to be symlinked or copied into your local clone's .git/hooks directory. diff --git a/git-hooks/pre-commit b/git-hooks/pre-commit deleted file mode 100755 index 99f59729..00000000 --- a/git-hooks/pre-commit +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash - -make messages.po > /dev/null 2>&1 - -# This monstrosity asks how many lines changed, but it ignores changes to the -# "POT-Creation-Date" line. In other words, if all that's changed is the -# "POT-Creation-Date", don't bother adding messages.po -lines_changed=$(git -c difftool.ignorepot.cmd='diff -u -I "POT-Creation-Date" "$LOCAL" "$REMOTE"' difftool -t ignorepot -y messages.po | wc -l) - -if [ "$lines_changed" = 0 ]; then - git checkout messages.po -else - git add messages.po -fi |