Added push option (-p) to hotfix and release
diff --git a/git-flow-release b/git-flow-release
index b56c54d..3b65252 100644
--- a/git-flow-release
+++ b/git-flow-release
@@ -165,6 +165,8 @@
DEFINE_boolean sign false "sign the release tag cryptographically" s
DEFINE_string signingkey "" "use the given GPG-key for the digital signature (implies -s)" u
DEFINE_string message "" "use the given tag message" m
+ DEFINE_boolean push false "push to $ORIGIN after performing finish" p
+
parse_args "$@"
require_version_arg
@@ -226,8 +228,14 @@
# delete branch
git branch -d "$BRANCH"
- # TODO: Implement an optional push to master
- # git push origin develop; git push origin master; git push --tags origin
+ if flag push; then
+ git push "$ORIGIN" "$DEVELOP_BRANCH" || \
+ die "Could not push to $DEVELOP_BRANCH from $ORIGIN."
+ git push "$ORIGIN" "$MASTER_BRANCH" || \
+ die "Could not push to $MASTER_BRANCH from $ORIGIN."
+ git push --tags "$ORIGIN" || \
+ die "Could not push tags to $ORIGIN."
+ fi
echo
echo "Summary of actions:"
@@ -236,5 +244,8 @@
echo "- The release was tagged '$tagname'"
echo "- Release branch has been back-merged into '$DEVELOP_BRANCH'"
echo "- Release branch '$BRANCH' has been deleted"
+ if flag push; then
+ echo "- '$DEVELOP_BRANCH', '$MASTER_BRANCH' and tags have been pushed to '$ORIGIN'"
+ fi
echo
}