Skip to content

Commit

Permalink
build: fix release script
Browse files Browse the repository at this point in the history
  • Loading branch information
robertrossmann committed Nov 30, 2020
1 parent c718dd4 commit 544c22d
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion utils/make/release.sh
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,8 @@ printf "\n=====>\tMerging %s...\n" "${head}"

# In case the release branch existed locally, merge its remote so that when we merge current HEAD
# we merge it into the current version of the release branch.
git merge origin/"${branch}"
# Don't bail if the origin branch does not exist.
git merge origin/"${branch}" || true
git merge --message "chore: release" "${head}"

printf "\n=====>\tPushing...\n"
Expand Down

0 comments on commit 544c22d

Please sign in to comment.