From: Chris Koeritz <fred@gruntose.com>
Date: Tue, 16 Oct 2018 01:03:19 +0000 (+0000)
Subject: adds pushing of dev branch
X-Git-Tag: 2.140.115^2~86
X-Git-Url: https://feistymeow.org/gitweb/?a=commitdiff_plain;h=c464ce977693edf72cdafaedbfd9aff8025557f8;p=feisty_meow.git

adds pushing of dev branch

this makes my changes show up a lot more frequently at the downstream
repos, since we used to only be synching the master branch.
---

diff --git a/scripts/rev_control/push_repo_downstream.sh b/scripts/rev_control/push_repo_downstream.sh
index 50f8d80a..f12fc740 100644
--- a/scripts/rev_control/push_repo_downstream.sh
+++ b/scripts/rev_control/push_repo_downstream.sh
@@ -62,6 +62,10 @@ exit_on_error "running the git pull downstream master"
 git push --tags downstream master
 exit_on_error "running the git push downstream master"
 
+# do our dev branch also.
+git push --tags downstream dev
+continue_on_error "running the git push downstream dev: is there a dev branch?"
+
 popd &>/dev/null
 
 restore_terminal_title