diff options
| author | seth <[email protected]> | 2024-05-22 20:38:40 -0400 |
|---|---|---|
| committer | seth <[email protected]> | 2024-05-22 20:37:10 -0600 |
| commit | 573c04045c247791523062205dcc76b5cf69066c (patch) | |
| tree | ad0d6c53b8eb7dda17a30ccb7e02a30a6622399f /.github/workflows/autobot.yaml | |
| parent | 250d3ef82f6528647809a60df75aa54e235a7a0a (diff) | |
ci: garnix -> gha for 12343894th time
Diffstat (limited to '.github/workflows/autobot.yaml')
| -rw-r--r-- | .github/workflows/autobot.yaml | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/.github/workflows/autobot.yaml b/.github/workflows/autobot.yaml deleted file mode 100644 index 760d835..0000000 --- a/.github/workflows/autobot.yaml +++ /dev/null @@ -1,26 +0,0 @@ -name: Auto-merge Dependabot - -on: pull_request - -jobs: - automerge: - name: Check and auto-merge - runs-on: ubuntu-latest - - permissions: - contents: write - pull-requests: write - - if: github.actor == 'dependabot[bot]' - steps: - - uses: dependabot/fetch-metadata@v2 - id: metadata - with: - github-token: ${{ github.token }} - - - name: Enable auto-merge - if: steps.metadata.outputs.update-type == 'version-update:semver-patch' - run: gh pr merge --auto --rebase "$PR" - env: - GH_TOKEN: ${{ github.token }} - PR: ${{ github.event.pull_request.html_url }} |