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