diff options
| -rwxr-xr-x | scripts/release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/release.sh b/scripts/release.sh index bc5b7cbd7..320f12e63 100755 --- a/scripts/release.sh +++ b/scripts/release.sh @@ -65,9 +65,10 @@ else echo "Local changes have been stashed." echo "Use \"git stash pop\" when this script is complete to restore your changes" else - # Dump local changes to prevent issues with checkout + # Dump local changes to prevent issues with checkout. Reset cleans up any uncommitted changes to the index. Clean takes care of non-indexed files. echo "Local changes were not stashed." git reset --hard + git clean -fxd fi fi |