Only push to the origin repo if we wanted to fetch, too.
This commit is contained in:
parent
c3948cf8bd
commit
eec73c6777
1 changed files with 3 additions and 1 deletions
|
@ -294,7 +294,9 @@ helper_finish_cleanup() {
|
|||
gitflow_require_clean_working_tree
|
||||
|
||||
# delete branch
|
||||
if [ $FLAGS_fetch -eq 1 ]; then
|
||||
git push $ORIGIN :refs/heads/$BRANCH
|
||||
fi
|
||||
git branch -d $BRANCH
|
||||
|
||||
echo
|
||||
|
|
Loading…
Reference in a new issue