mirror of
https://github.com/super-linter/super-linter.git
synced 2024-11-25 10:10:56 -05:00
55 lines
2.5 KiB
YAML
55 lines
2.5 KiB
YAML
---
|
|
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 🤖'
|
|
})
|