Skip to content

Commit

Permalink
Merge pull request #9034 from Expensify/chirag-merge-with-pr-number
Browse files Browse the repository at this point in the history
Providing PR number while merging
  • Loading branch information
AndrewGable authored May 16, 2022
2 parents 82b97bf + 40064a7 commit 5461952
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .github/workflows/cherryPick.yml
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,7 @@ jobs:
- name: Auto-merge the PR
# Important: only auto-merge if there was no merge conflict and the PR is mergable (not blocked by a missing status check)!
if: ${{ fromJSON(steps.cherryPick.outputs.SHOULD_AUTOMERGE) && fromJSON(steps.isPullRequestMergeable.outputs.IS_MERGEABLE) }}
run: gh pr merge --merge --delete-branch || sleep 5 && gh pr merge --merge --delete-branch
run: gh pr merge ${{ steps.createPullRequest.outputs.pr_number }} --merge --delete-branch
env:
GITHUB_TOKEN: ${{ secrets.OS_BOTIFY_TOKEN }}

Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/updateProtectedBranch.yml
Original file line number Diff line number Diff line change
Expand Up @@ -129,7 +129,7 @@ jobs:
run: exit 1

- name: Auto-merge the PR
run: gh pr merge --merge --delete-branch || sleep 5 && gh pr merge --merge --delete-branch
run: gh pr merge ${{ steps.createPullRequest.outputs.PR_NUMBER }} --merge --delete-branch
env:
GITHUB_TOKEN: ${{ secrets.OS_BOTIFY_TOKEN }}

Expand Down

0 comments on commit 5461952

Please sign in to comment.