Skip to content

Mark stale pull requests #311

Mark stale pull requests

Mark stale pull requests #311

# This workflow warns of PRs that have had no activity for a specified amount of time.
#
# For more information, see https://github.com/actions/stale
name: Mark stale pull requests
on:
# Run every day at 00:00 UTC
schedule:
- cron: '0 0 * * *'
# Or run on demand
workflow_dispatch:
jobs:
stale:
runs-on: ubuntu-latest
permissions:
pull-requests: write
steps:
- uses: actions/stale@v5
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
days-before-pr-stale: 14
days-before-issue-stale: -1 # don't mark issues as stale
exempt-draft-pr: true # don't mark draft PRs as stale
days-before-close: -1 # don't close stale PRs/issues
stale-pr-message: >
This PR has not had activity in the past 2 weeks, labeling it as stale.
If the PR is waiting for review, notify the [email protected] list.
Thank you for your contribution!
debug-only: false # turn on to run the action without applying changes
operations-per-run: 500 # operations budget
# The table shows the cost in operations of all combinations of stale / not-stale for a PR.
# Processing a non-PR issue takes 0 operations, since we don't perform any action on it.
#
# +-----------------------+
# number of | state after workflow |
# operations +-----------+-----------+
# | stale | not stale |
# +----------+-----------+-----------+-----------+
# | state | stale | 3 | 4 |
# | before +-----------+-----------+-----------+
# | workflow | not stale | 5 | 1 |
# +----------+-----------+-----------+-----------+