From 10d24ef2679a1288d55a56cd2c96801f1f014218 Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Mon, 12 Sep 2022 08:48:59 -0700
Subject: [PATCH] github: remove broken workflow to enable auto-merge for
 Dependabot

The workflow that was supposed to enable auto-merge for PRs from
Dependabot is failing like this:


```
Message: Resource not accessible by integration, Locations: [{Line:1 Column:72}]
```

I can't figure out why it's failing (maybe
https://github.com/cli/cli/issues/1314?), so let's just remove it.
---
 .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 f772d5d14..000000000
--- 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}}