Skip to content

Commit

Permalink
chore: push current branch to remote
Browse files Browse the repository at this point in the history
  • Loading branch information
JoeWang1127 committed Dec 11, 2024
1 parent 35f1310 commit 34e1047
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/scripts/update_googleapis_commit.sh
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,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 34e1047

Please sign in to comment.