Push to remote first during deploy

This commit is contained in:
Ben Sturmfels 2024-02-27 09:43:07 +11:00
parent 324eab9191
commit 0b0db395fd

View file

@ -1,5 +1,6 @@
#!/bin/sh
git push
ssh debian@hickory.sfconservancy.org 'bash -s' << EOF
set -x # Show output
set -e # Abort on failure