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)
commit07235e55ae2cf9ceaeef43997794c726b9c4ee1c
treeea879202382db66473f60f0c4730a9a3159771fd
parentc465170cd5ab33ee2f961472218cc2af40d469cb
added tags pushing

previously our downstream copies were missing all the tags.  this should fix that.
scripts/rev_control/push_repo_downstream.sh