diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/hooks/pre-commit | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/utils/hooks/pre-commit b/utils/hooks/pre-commit deleted file mode 100644 index 69883fc..0000000 --- a/utils/hooks/pre-commit +++ /dev/null @@ -1,8 +0,0 @@ -# .git/hooks/pre-commit -#!/bin/bash -for file in $(git diff --cached --name-only | grep -E '\.org$'); do - if ! grep -q "^#\+TITLE:" "$file"; then - echo "Error: $file is missing a TITLE." - exit 1 - fi -done |