From c464ce977693edf72cdafaedbfd9aff8025557f8 Mon Sep 17 00:00:00 2001 From: Chris Koeritz Date: Tue, 16 Oct 2018 01:03:19 +0000 Subject: [PATCH] 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. --- scripts/rev_control/push_repo_downstream.sh | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.34.1