1 2 3 4 5 6 7 8 9 10 11 12 13 14
#!/bin/bash set -eu cd $HOME/deployment # like "git pull", but discard local changes git fetch git reset --hard FETCH_HEAD cd $HOME/stamps ./invalidate.sh make