Skip to content

Commit

Permalink
ci: Automatically remove automerge label when PRs are closed (#1372)
Browse files Browse the repository at this point in the history
This should clean up our closed PRs a bit and make it easier to search for to-be-auto-merged PRs.
  • Loading branch information
paulgessinger committed Aug 3, 2022
1 parent f956eb3 commit f3d23e0
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .github/workflows/remove-automerge-label.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
name: Remove automerge label

on:
pull_request_target:
types: [closed]

jobs:
remove-automerge-label:
runs-on: ubuntu-latest
if: github.event.pull_request.merged == true
steps:
- uses: actions-ecosystem/action-remove-labels@v1
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
labels: automerge

0 comments on commit f3d23e0

Please sign in to comment.