added tags pushing

[feisty_meow.git] / scripts / rev_control / push_repo_downstream.sh

diff --git a/scripts/rev_control/push_repo_downstream.sh b/scripts/rev_control/push_repo_downstream.sh
index b9c0620324b7b39947d98e999ad5f10698454187..485c1ede1ff9561cdd05a9a3e7d769ca73af6707 100644 (file)
--- 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