From 07235e55ae2cf9ceaeef43997794c726b9c4ee1c Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Tue, 15 May 2018 19:23:47 -0400 Subject: [PATCH] added tags pushing previously our downstream copies were missing all the tags. this should fix that. --- scripts/rev_control/push_repo_downstream.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.34.1