projects / feisty_meow.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c465170)
added tags pushing
authorChris Koeritz <fred@gruntose.com>
Tue, 15 May 2018 23:23:47 +0000 (19:23 -0400)
committerChris Koeritz <fred@gruntose.com>
Tue, 15 May 2018 23:23:47 +0000 (19:23 -0400)
previously our downstream copies were missing all the tags.  this should fix that.

scripts/rev_control/push_repo_downstream.sh patch | blob | history

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