necessary addition of pushing to this branch
authorChris Koeritz <fred@gruntose.com>
Thu, 9 Nov 2017 23:57:35 +0000 (18:57 -0500)
committerChris Koeritz <fred@gruntose.com>
Thu, 9 Nov 2017 23:57:35 +0000 (18:57 -0500)
commit397455fd0894cfff7036d3d683f81eb359f634f3
tree5bd0653d831e79be8ff4230b4831a3a612deef4c
parentc53d13827ddead7cdc1c959890829296a0e7f0f4
necessary addition of pushing to this branch

was only doing a git push and not a git push origin mybranch.  not sure which order the two should be in, but we'll find out.
scripts/rev_control/version_control.sh