git-reset

   1 #!/bin/sh -eu
   2 tool=$(readlink -e "${0%/*}/..")
   3 . "$tool"/local/lib.sh
   4
   5 cd "$tool"
   6 git checkout -f -B master remotes/master
   7 git clean -f -d -x