#!/bin/bash

set -eu

cd $HOME/landing
git clean -fxd

# like "git pull", but robust against force pushes
# and local changes
git fetch
git reset --hard FETCH_HEAD

git submodule update --init

make