#!/bin/env bash set -eo pipefail git checkout main git pull git merge dev git push git checkout dev if [[ $(hostname) == "ladd76" ]]; then ssh lentilz 'cd ~/code/gravity-live && git pull' elif [[ $(hostname) == "lentilz" ]]; then pushd ~/code/gravity-live git pull fi echo >&2 echo >&2 "Deployed to https://laddhoffman.com/gravity/"