#!/bin/sh -eu
tool=$(readlink -e "${0%/*}/..")
. "$tool"/local/lib.sh

cd "$tool"
git checkout -f -B master remotes/master
git clean -f -d -x