Skip to content

Commit

Permalink
Enable auto merge (#15)
Browse files Browse the repository at this point in the history
The immediate use case if for auto-merging bridge updates. We will
eventually want this for keeping pulumi and java dependencies up to date
as well.
  • Loading branch information
guineveresaenger authored Oct 6, 2023
2 parents ae3e641 + b0d3d37 commit d88b3c6
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,10 @@ inputs:
email:
description: 'The email for git configuration'
required: false
automerge:
description: 'If the created PR should be auto-merged'
required: false
default: false
runs:
using: "composite"
steps:
Expand Down Expand Up @@ -51,3 +55,12 @@ runs:
shell: bash
env:
GH_TOKEN: ${{ env.GH_TOKEN }}
- name: Set PR to auto-merge
if: ${{ inputs.automerge }}
# This tolerates repos that do not have auto-merge enabled. `continue-on-error: true`
# should be removed when https://github.com/pulumi/home/issues/3140 closes.
continue-on-error: true
run: gh pr merge --auto --squash --delete-branch
shell: bash
env:
GH_TOKEN: ${{ env.GH_TOKEN }}

0 comments on commit d88b3c6

Please sign in to comment.