diff --git a/.github/workflows/RollPyTorch.yml b/.github/workflows/RollPyTorch.yml index 911c7a6f7..51f3f874b 100644 --- a/.github/workflows/RollPyTorch.yml +++ b/.github/workflows/RollPyTorch.yml @@ -133,4 +133,3 @@ jobs: committer: Roll PyTorch Action title: update PyTorch version to ${{ env.PT_RELEASE }} token: ${{ secrets.ROLLPYTORCH_TOKEN0 }} - reviewers: ashay, powderluv, vivekkhandelwal1 diff --git a/.github/workflows/merge-rollpytorch.yml b/.github/workflows/merge-rollpytorch.yml index 43fb3adb6..45297e5ab 100644 --- a/.github/workflows/merge-rollpytorch.yml +++ b/.github/workflows/merge-rollpytorch.yml @@ -14,8 +14,11 @@ jobs: github.event.workflow_run.actor.login == 'silvasean' && github.event.workflow_run.conclusion == 'success' - env: - PR_IDS: ${{ toJson(github.event.workflow_run.pull_requests.*.number) }} - steps: - - run: echo "PRs to approve and merge -- $PR_IDS" + - run: | + for pr_id in ${{ join(github.event.workflow_run.pull_requests.*.number, ' ') }} + do + echo "[mock] Merging PR: $pr_id" + echo gh pr merge $pr_id --delete-branch --squash + done + shell: bash