Modification : vm_{host,hosted,remote} -> {host,local,remote}/ .

[lhc/ateliers.git] / local / git-reset

diff --git a/local/git-reset b/local/git-reset
new file mode 100755 (executable)
index 0000000..3a3f875
--- /dev/null
+++ b/local/git-reset
@@ -0,0 +1,7 @@
+#!/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