Added convenience shell scripts

repo-discard.sh

@@ -0,0 +1,20 @@
+#!/bin/sh -e
+
+repository="$(dirname "$(readlink -f "$0")")/."
+
+cd "${repository}"
+git rev-parse --is-inside-work-tree >/dev/null
+
+echo ""
+echo "*** WARNING: The following files were changed and will be reverted:"
+git diff --name-only HEAD
+
+printf "\nExecute [Y,N]?"; read -r yn
+if [ "$yn" = "${yn#[Yy]}" ]; then 
+    echo "Aborting discard..."
+else
+    git restore "${repository}"
+    echo "Done."
+fi
+
+exit 0