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