From 2b709f61e022c5c92ecbbfc246007f56cbef948c 2024-03-20 03:18:59
From: Ben Sturmfels <ben@sturm.com.au>
Date: 2024-03-20 03:18:59
Subject: [PATCH] Make bin/deploy abort if there's an error with `git push`

For example, your push failed because there's upstream changes.

---

diff --git a/bin/deploy b/bin/deploy
index 5720abe282231ae07b7990405582568cd11e8252..3650d866ade2ad968fa3e9e43a9ecda4605ab39a 100755
--- a/bin/deploy
+++ b/bin/deploy
@@ -1,9 +1,11 @@
 #!/bin/sh
 
+set -e  # Abort on failure
+
 git push
 ssh debian@hickory.sfconservancy.org 'bash -s' << EOF
 set -x  # Show output
-set -e  # Abort on failure
+set -e
 cd /var/www/website
 sudo -u www-data git pull
 export DJANGO_SETTINGS_MODULE=conservancy.settings.prod