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