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.

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index be183ae1bf3cf1c82b6250a2c99f4fd95bac53a1..9f955d28ab2d62d619f2bab9c7e0a7a65c186776 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -81,9 +81,16 @@ function do_checkin()
       # catch if the diff-index failed somehow.
       retval+=$?
 
-      # upload any changes to the upstream repo so others can see them.
+#push the changes to where?  locally?
       git push 2>&1 | grep -v "X11 forwarding request failed" | squash_first_few_crs
       retval+=${PIPESTATUS[0]}
+
+      # upload any changes to the upstream repo so others can see them.
+      if [ "$(git_branch_name)" != "master" ]; then
+        git push origin "$(git_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | squash_first_few_crs
+        retval+=${PIPESTATUS[0]}
+      fi
+
     fi
   else
     # nothing there.  it's not an error though.