lint/.github/workflows/stale.yml

---
on:
  schedule:
    # every day at 0:00 UTC
    - cron: "0 0 * * *"
  issue_comment:
    types: [created, deleted, edited]

name: "Stale[bot]"

# Don't grant any access by default
permissions: {}

jobs:
  markstale:
    permissions:
      issues: write # for actions/stale to close stale issues
      pull-requests: write # for actions/stale to close stale PRs
    runs-on: ubuntu-latest
    # only run on schedule
    if: ${{ github.event_name == 'schedule' }}
    timeout-minutes: 60
    steps:
      - name: Mark issue stale
        uses: actions/stale@v9
        with:
          repo-token: ${{ secrets.GITHUB_TOKEN }}
          stale-issue-message: "This issue has been automatically marked as stale because it has not had recent activity.\nIt will be closed in 14 days if no further activity occurs.\nThank you for your contributions.\n\nIf you think this issue should stay open, please remove the `O: stale 🤖` label or comment on the issue.\n\nIf you're a maintainer, you can stop the bot to mark this issue as stale in the future by adding the `O: backlog 🤖` label`."
          stale-pr-message: "This pull request has been automatically marked as stale because it has not had recent activity.\nIt will be closed in 14 days if no further activity occurs.\nThank you for your contributions.\n\nIf you think this pull request should stay open, please remove the `O: stale 🤖` label or comment on the pull request.\n\nIf you're a maintainer, you can stop the bot to mark this issue as stale in the future by adding the `O: backlog 🤖` label`."
          days-before-stale: 30
          days-before-close: 14
          stale-issue-label: "O: stale 🤖"
          exempt-issue-labels: "O: backlog 🤖"
          stale-pr-label: "O: stale 🤖"
          exempt-pr-labels: "O: backlog 🤖"

  marknotstale:
    permissions:
      issues: write # for actions/stale to close stale issues
      pull-requests: write # for actions/stale to close stale PRs
    runs-on: ubuntu-latest
    # do not run on schedule
    if: "${{ github.event_name == 'issue_comment' && contains(github.event.issue.labels.*.name, 'O: stale 🤖') && github.event.issue.user.type != 'Bot' }}"
    timeout-minutes: 60
    steps:
      - name: Mark issue not stale
        uses: actions/github-script@v7
        with:
          script: |
            github.rest.issues.removeLabel({
              issue_number: context.issue.number,
              owner: context.repo.owner,
              repo: context.repo.repo,
              name: 'O: stale 🤖'
            })