2.0.0 (2020-10-15) This tool no longer git-tags the release and doesn't try to push commits to the origin (that part was too flaky). 1.0.2 (2018-06-14) Fix for newer versions of git 1.0.1 (2016-12-19) Minor improvements in messaging 1.0.0 (2016-12-17) Initial release