Use native automerge
@@ -63,13 +63,23 @@ jobs:
git add .
git commit -m "Updated modules"
git push origin update-pulumi/${{ github.run_id }}-${{ github.run_number }}
- - name: Open a pull request
+ - name: Create PR
+ id: create-pr
if: steps.gomod.outputs.changes != 0
- uses: repo-sync/pull-request@v2
+ uses: peter-evans/create-pull-request@v4
with:
- source_branch: "update-pulumi/${{ github.run_id }}-${{ github.run_number }}"
- destination_branch: "master"
- pr_title: "Automated pulumi/pulumi upgrade"
- pr_label: "automation/merge"
- pr_allow_empty: true
- github_token: ${{ secrets.PULUMI_BOT_TOKEN }}
+ branch: "update-pulumi/${{ github.run_id }}-${{ github.run_number }}"
+ base: "master"
+ title: "Automated pulumi/pulumi upgrade"
+ labels: impact/no-changelog-required
+ committer: pulumi-bot <bot@pulumi.com>
+ author: pulumi-bot <bot@pulumi.com>
+ token: ${{ secrets.PULUMI_BOT_TOKEN }}
+ - name: Set Automerge
+ if: steps.create-pr.outputs.pull-request-operation == 'created'
+ uses: peter-evans/enable-pull-request-automerge@v1
+ with:
+ token: ${{ secrets.PULUMI_BOT_TOKEN }}
+ pull-request-number: ${{ steps.create-pr.outputs.pull-request-number }}
+ repository: ${{ github.repository }}
+ merge-method: squash
\ No newline at end of file
