|
|
@ -32,8 +32,8 @@ jobs:
|
|
|
|
remove_stale:
|
|
|
|
remove_stale:
|
|
|
|
# trigger "stale" removal immediately when stale issues are commented on
|
|
|
|
# trigger "stale" removal immediately when stale issues are commented on
|
|
|
|
# we need to explicitly check that the trigger does not run on comment on a PR as
|
|
|
|
# we need to explicitly check that the trigger does not run on comment on a PR as
|
|
|
|
# 'issue_comment' triggers on issues AND PR comments
|
|
|
|
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#issue_comment-on-issues-only-or-pull-requests-only
|
|
|
|
if: github.event_name == 'issue_comment' && ${{ !github.event.issue.pull_request }}
|
|
|
|
if: ${{ !github.event.issue.pull_request && github.event_name != 'schedule' }}
|
|
|
|
permissions:
|
|
|
|
permissions:
|
|
|
|
contents: read # for actions/checkout
|
|
|
|
contents: read # for actions/checkout
|
|
|
|
issues: write # to edit issues label
|
|
|
|
issues: write # to edit issues label
|
|
|
@ -43,5 +43,6 @@ jobs:
|
|
|
|
uses: actions/checkout@v3.5.2
|
|
|
|
uses: actions/checkout@v3.5.2
|
|
|
|
- name: Remove 'stale' label
|
|
|
|
- name: Remove 'stale' label
|
|
|
|
run: gh issue edit ${{ github.event.issue.number }} --remove-label ${{ env.stale_label }}
|
|
|
|
run: gh issue edit ${{ github.event.issue.number }} --remove-label ${{ env.stale_label }}
|
|
|
|
|
|
|
|
env:
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
|
|
|
|
|
|
|
|