added tags push
authorChris Koeritz <fred@gruntose.com>
Thu, 16 Nov 2017 14:41:59 +0000 (09:41 -0500)
committerChris Koeritz <fred@gruntose.com>
Thu, 16 Nov 2017 14:41:59 +0000 (09:41 -0500)
scripts/rev_control/version_control.sh

index 16bb21faf1a0d18bf60ae8ef5a6e2e634c918bfc..75f344cf66ab8485f0e8b980f6b83c8eef924859 100644 (file)
@@ -118,7 +118,7 @@ function do_checkin()
       # there could already be committed changes that haven't been pushed yet.
 
       # upload any changes to the upstream repo so others can see them.
-      git push origin "$(my_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
+      git push --tags origin "$(my_branch_name)" 2>&1 | grep -v "X11 forwarding request failed" | $TO_SPLITTER
       promote_pipe_return 0
       test_or_die "git push"