From f5fc3c35f5acbe6dae8f3bd234902a0e909e800a Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Mon, 5 Dec 2022 08:10:25 -0800 Subject: [PATCH] github: disable broken attempt to auto-merge Dependabot PRs again Sigh, I thought it was fixed now, but it seems it's only `gh pr ready` that works with `GITHUB_TOKEN`. This rolls back commit ee7e7e1b62c5. --- .github/workflows/dependabot.yml | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 .github/workflows/dependabot.yml diff --git a/.github/workflows/dependabot.yml b/.github/workflows/dependabot.yml deleted file mode 100644 index f772d5d14a..0000000000 --- a/.github/workflows/dependabot.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: build - -on: - pull_request: - -permissions: read-all - -jobs: - dependabot-auto-merge: - name: 'Dependabot auto-merge' - permissions: - pull-requests: write - runs-on: ubuntu-latest - if: ${{ github.actor == 'dependabot[bot]' }} - steps: - - name: Enable auto-merge for Dependabot PRs - run: gh pr merge --auto --rebase "$PR_URL" - env: - PR_URL: ${{github.event.pull_request.html_url}} - GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}