diff --git a/.github/workflows/autosubmit.yml b/.github/workflows/autosubmit.yml new file mode 100644 index 0000000..9093f33 --- /dev/null +++ b/.github/workflows/autosubmit.yml @@ -0,0 +1,20 @@ +name: Autosubmit + +on: + pull_request_target: + types: [opened, reopened, labeled, synchronize] + +permissions: + pull-requests: write + contents: write + +jobs: + autosubmit: + runs-on: ubuntu-latest + if: contains(github.event.pull_request.labels.*.name, 'autosubmit') + steps: + - name: Enable auto-merge + run: gh pr merge --auto --squash "$PR_URL" + env: + PR_URL: ${{ github.event.pull_request.html_url }} + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}