Push to remote first during deploy

This commit is contained in:
Ben Sturmfels 2024-02-27 09:43:07 +11:00
parent 18de3adfce
commit dcdb976cd6
Signed by: bsturmfels
GPG key ID: 023C05E2C9C068F0

View file

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