File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Original file line number Diff line number Diff line change @@ -47,13 +47,16 @@ jobs:
4747
4848 # check if remote branch already exists
4949 git fetch --all
50+ set +e
5051 git ls-remote --exit-code --heads origin "refs/heads/${BRANCH}"
5152 if [ "$?" -eq 0 ]; then
53+ set -e
5254 # if it does, create local branch off existing remote branch
5355 git checkout -b "${BRANCH}" "origin/${BRANCH}"
5456 git branch --set-upstream-to="origin/${BRANCH}" "${BRANCH}"
5557 git pull
5658 else
59+ set -e
5760 # otherwise, create local branch from main
5861 git checkout -b "${BRANCH}"
5962 fi
8992 fi
9093
9194 # If a pr is not already open, create one
95+ set +e
9296 gh search prs -R redis/docs --state open --match title "redis docs ${RELEASE}" | grep -q "redis docs ${RELEASE}"
9397 if [ "$?" -eq 1 ]; then
98+ set -e
9499 gh pr create \
95100 --body "redis docs sync ${RELEASE}" \
96101 --title "redis docs sync ${RELEASE}" \
You can’t perform that action at this time.
0 commit comments