2023-04-22 14:31:16 +02:00
|
|
|
name: Remove Labels PR Commit
|
|
|
|
|
|
|
|
|
|
on: pull_request_target
|
|
|
|
|
|
2024-01-21 15:35:52 +01:00
|
|
|
permissions:
|
|
|
|
|
contents: read
|
|
|
|
|
|
2023-04-22 14:31:16 +02:00
|
|
|
jobs:
|
|
|
|
|
remove_labels:
|
|
|
|
|
permissions:
|
|
|
|
|
pull-requests: write # for actions-ecosystem/action-remove-labels to remove PR labels
|
|
|
|
|
if: contains(github.event.pull_request.labels.*.name, 'stale')
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions-ecosystem/action-remove-labels@v1
|
|
|
|
|
if: ${{ github.event.comment.user.url != 'https://github.com/apps/github-actions' }}
|
|
|
|
|
with:
|
|
|
|
|
github_token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
labels: |
|
|
|
|
|
stale
|
