Skip to content

Commit

Permalink
update template
Browse files Browse the repository at this point in the history
  • Loading branch information
JoeWang1127 committed Dec 11, 2024
1 parent 34e1047 commit b8d2b0b
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -102,6 +102,9 @@ pr_num=$(gh pr list -s open -H "${current_branch}" -q . --json number | jq ".[]
# branch; otherwise checkout the pull request.
if [ -z "${pr_num}" ]; then
git checkout -b "${current_branch}"
# Push the current branch to remote so that we can
# compare the commits later.
git push -u origin "${current_branch}"
else
gh pr checkout "${pr_num}"
fi
Expand Down

0 comments on commit b8d2b0b

Please sign in to comment.