ref: 46d4b4ea638d8aefc0fb6b4f32413acdc20e2ce7
parent: f0107d3b7411afbe8e1e8a04b13de3b60a625d04
author: Ori Bernstein <ori@eigenstate.org>
date: Fri Mar 10 17:11:22 EST 2017
Reset --hard before tarring. We don't want to tar the wrong commit, or trailing junk.
--- a/support/release.sh
+++ b/support/release.sh
@@ -8,6 +8,7 @@
cp -r ../mc $tmp/
(
cd $tmp/mc
+ git reset --hard
git clean -xfd
rm -rf .git
)