new script for doing a git release quickly
authorChris Koeritz <fred@gruntose.com>
Mon, 20 May 2019 19:41:05 +0000 (15:41 -0400)
committerChris Koeritz <fred@gruntose.com>
Mon, 20 May 2019 19:41:05 +0000 (15:41 -0400)
commit95267652447ba12721448603700c4c0652bef067
tree2374aba78b19de6dd75bc47995158a20c9ffc7ad
parentace74104037dc8c0c0e855f532000c34328e368b
new script for doing a git release quickly

a little odd still, since you need to pass the version number even though feisty meow tracks the version number as a file; need to revise in future to automatically grab the right version number.  otherwise seems to work.
dual target here--test that the github updater works and has dev isolated from master, plus get this new script into place.
scripts/rev_control/quick_git_release.sh [new file with mode: 0644]