From 70288a71615483b5c3d81bd644dada979ac595d5 Mon Sep 17 00:00:00 2001 From: Ariel Valentin Date: Wed, 28 Feb 2024 22:14:22 -0600 Subject: [PATCH] chore: Enable stalebot (#1608) There are quite a few PRs and issues that remain open without any activity. This PR introduces stalebot to do some housekeeping for us. --- .github/workflows/stale.yaml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 .github/workflows/stale.yaml diff --git a/.github/workflows/stale.yaml b/.github/workflows/stale.yaml new file mode 100644 index 0000000000..c85932c9ca --- /dev/null +++ b/.github/workflows/stale.yaml @@ -0,0 +1,26 @@ +name: Mark stale issues and pull requests + +on: + schedule: + - cron: "30 1 * * *" + +jobs: + stale: + + runs-on: ubuntu-latest + + steps: + - uses: actions/stale@v9 + name: Clean up stale issues and PRs + with: + repo-token: ${{ secrets.GITHUB_TOKEN }} + stale-issue-message: "👋 This issue has been marked as stale because it has been open with no activity. You can: comment on the issue or remove the stale label to hold stale off for a while, add the `keep` label to hold stale off permanently, or do nothing. If you do nothing this issue will be closed eventually by the stale bot." + stale-issue-label: "stale" + exempt-issue-labels: "keep" + days-before-issue-stale: 30 + days-before-issue-close: 30 + stale-pr-message: "👋 This pull request has been marked as stale because it has been open with no activity. You can: comment on the issue or remove the stale label to hold stale off for a while, add the `keep` label to hold stale off permanently, or do nothing. If you do nothing this pull request will be closed eventually by the stale bot" + stale-pr-label: "stale" + exempt-pr-labels: "keep" + days-before-pr-stale: 30 + days-before-pr-close: 30