From c57a7f1cb3823e5290812b30dd22a210d15c1d97 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 21 May 2024 09:03:00 -0400
Subject: Set pre-push hook to fail if subcommand fails

I think gitlint violations were sneaking through without this.
---
 Biz/Ide/hooks/pre-push | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Biz/Ide')

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=" "
-- 
cgit v1.2.3