diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-12 15:04:14 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-02-12 15:58:09 -0700 |
| commit | 125f50d6e82eeae30b2f885c90b2f1423968402d (patch) | |
| tree | bfbd0048fb299721aa5e4017cc43c720ef480acc /hooks | |
| parent | 4e4f9e4393caf5b18b890317fd891d1209b2cf71 (diff) | |
| download | dotfiles-125f50d6e82eeae30b2f885c90b2f1423968402d.tar.gz | |
case-insensitively look for "^WIP"
Might end up needing to revise (by making the regex more
sophisticated) and/or undo this, but seems useful.
Diffstat (limited to 'hooks')
| -rwxr-xr-x | hooks/git/pre-push_signed-off-by | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hooks/git/pre-push_signed-off-by b/hooks/git/pre-push_signed-off-by index 47321be6..f429ad7e 100755 --- a/hooks/git/pre-push_signed-off-by +++ b/hooks/git/pre-push_signed-off-by @@ -32,7 +32,7 @@ while read local_ref local_sha remote_ref remote_sha; do fi # Check for WIP commit - commit=$(git rev-list -n 1 --grep '^WIP' "$range") + commit=$(git rev-list -n 1 -i --grep '^WIP' "$range") if [ -n "$commit" ] then echo >&2 "Found WIP commit in $local_ref, not pushing" |