diff --git a/run b/run index 2da64dd..4fdc7d1 100755 --- a/run +++ b/run @@ -52,6 +52,9 @@ STEP00_B=3ba916584db5485c38ebf2390e8d22bc6d81bf8e # STEP00_C=28514476ef8c824c3d189d98f23d0f8d23e496ea step00() { + git reset --hard + git clean -ffxd + git checkout $STEP00_A git revert --no-edit $STEP00_B