blob: eea9de33e4ae97a0ab88e1c60f3edfe3110ad687 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/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
|