diff options
| author | Ben Sima <ben@bsima.me> | 2024-05-21 09:03:00 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-05-21 09:03:00 -0400 |
| commit | c57a7f1cb3823e5290812b30dd22a210d15c1d97 (patch) | |
| tree | 8e54b850e6dd9bd9345964166915309cc242e2f4 /Biz/Ide | |
| parent | 3d4d36e5b4b61cbbee93032425c822f2f478449c (diff) | |
Set pre-push hook to fail if subcommand fails
I think gitlint violations were sneaking through without this.
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index fd243a9..00110bd 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -1,4 +1,5 @@ #!/usr/bin/env bash +set -euo pipefail remote="$1" z40=0000000000000000000000000000000000000000 IFS=" " |