Problem
PRs sometimes sit open for weeks with no updates. Maintainers have to chase people manually.
What should happen
A workflow that runs on a schedule, checks open PRs, and posts a reminder if there has been no push or comment in 7 days:
- After 7 days: post a check-in comment asking if it is still in progress
- After 14 days: add a stale label
Implementation notes
GitHub has a first-party actions/stale action that handles most of this. Add it as a new workflow file in .github/workflows/
Problem
PRs sometimes sit open for weeks with no updates. Maintainers have to chase people manually.
What should happen
A workflow that runs on a schedule, checks open PRs, and posts a reminder if there has been no push or comment in 7 days:
Implementation notes
GitHub has a first-party actions/stale action that handles most of this. Add it as a new workflow file in .github/workflows/