updated version and minor improvement

diff --git a/production/feisty_meow_config.ini b/production/feisty_meow_config.ini
index 21aec05f30f0fe2da8ea22407fa01b1ab1f598ca..0edd66d7c0e7cf08f90b6366ea994aab06b4b28c 100644 (file)
--- a/production/feisty_meow_config.ini
+++ b/production/feisty_meow_config.ini
@@ -3,7 +3,7 @@
 # specifies the version of the code that is being constructed here.
 major=2
 minor=140
-revision=117
+revision=118
 build=420
 
 # specifies the remainder of the version record info.

diff --git a/scripts/rev_control/quick_git_release.sh b/scripts/rev_control/quick_git_release.sh
index bb914da1d8ad533fc5e0cf745a74b826660b8170..654b0aba854dbee9c4dee073738293eaecacfd16 100644 (file)
--- a/scripts/rev_control/quick_git_release.sh
+++ b/scripts/rev_control/quick_git_release.sh
@@ -94,11 +94,16 @@ echo merging in from release branch to dev--hit enter
 read line
   git merge --no-ff $new_release
   exit_on_error merging the release changes into the dev branch
+echo pushing merged dev branch up
+  git push 
+  exit_on_error pushing merged dev branch up
+
+  # done with the serious actions.
+  echo -e '\ncompleted the release of version $new_version\n'
+
   # back to where we started.
   popd
 }
 
-
 make_new_feisty_meow_release "$1"
 
-