diff --git a/Scripts/HardResetGit.sh b/Scripts/HardResetGit.sh new file mode 100755 index 000000000..d37c7eed9 --- /dev/null +++ b/Scripts/HardResetGit.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +git reset --hard HEAD +git clean -xdff