From: Chris Koeritz <fred@gruntose.com>
Date: Thu, 16 Nov 2017 14:41:59 +0000 (-0500)
Subject: added tags push
X-Git-Tag: 2.140.100^2~1
X-Git-Url: https://feistymeow.org/gitweb/?a=commitdiff_plain;h=93b4d13ac6be1e3ef79a9070d2a234b0ae922144;p=feisty_meow.git

added tags push
---

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index 16bb21fa..75f344cf 100644
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -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"