From: Chris Koeritz <fred@gruntose.com>
Date: Tue, 15 May 2018 23:23:47 +0000 (-0400)
Subject: added tags pushing
X-Git-Tag: 2.140.112^2~43
X-Git-Url: https://feistymeow.org/gitweb/?a=commitdiff_plain;h=07235e55ae2cf9ceaeef43997794c726b9c4ee1c;p=feisty_meow.git

added tags pushing

previously our downstream copies were missing all the tags.  this should fix that.
---

diff --git a/scripts/rev_control/push_repo_downstream.sh b/scripts/rev_control/push_repo_downstream.sh
index b9c06203..485c1ede 100644
--- a/scripts/rev_control/push_repo_downstream.sh
+++ b/scripts/rev_control/push_repo_downstream.sh
@@ -57,7 +57,7 @@ git pull downstream master
 test_or_die "running the git pull downstream master"
 
 # send our little boat down the stream to the dependent repository.
-git push downstream master
+git push --tags downstream master
 test_or_die "running the git push downstream master"
 
 popd &>/dev/null