Add help message that explains how to revert a bad release tagging to the release.sh script.

This commit is contained in:
Trevor Brown 2017-09-12 18:40:31 -04:00
parent 84ad80f575
commit 6c90970e17

View File

@ -18,6 +18,23 @@ This script updates the hardcoded versions in the source code and README and
then commits them on the current branch. It then tags that commit with the
specified version.
If you run this script in error, or with the wrong version, you can undo the
changes by finding the original state in the list of actions listed in the
reflog:
git reflog
Then revert to the original state by running `git checkout` with the reference
previous to the release tagging changes:
git checkout HEAD@{21}
Then checkout the original branch again:
git checkout master
You are back to the original state!
EOF
}