From 8f60011d34df4f8db8eb02a29eebabef55de1170 Mon Sep 17 00:00:00 2001 From: RD WebDesign Date: Fri, 30 Dec 2022 17:21:02 -0300 Subject: [PATCH 1/2] Add action to close stale PR Signed-off-by: RD WebDesign --- .github/workflows/stale_pr.yml | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 .github/workflows/stale_pr.yml diff --git a/.github/workflows/stale_pr.yml b/.github/workflows/stale_pr.yml new file mode 100644 index 000000000..1279479f1 --- /dev/null +++ b/.github/workflows/stale_pr.yml @@ -0,0 +1,33 @@ +name: Close stale PR +# This action will add a `stale` label and close immediately every PR that meets the following conditions: +# - it is already marked with "merge conflict" label +# - the "merge conflict" label was added more than 30 days before. + +on: + schedule: + - cron: '0 10 * * *' + workflow_dispatch: + +jobs: + stale: + + runs-on: ubuntu-latest + permissions: + issues: write + pull-requests: write + + steps: + - uses: actions/stale@v7.0.0 + with: + repo-token: ${{ secrets.GITHUB_TOKEN }} + # Do not mark a PR as stale + days-before-stale: -1 + days-before-pr-stale: 30 + days-before-pr-close: 0 + # only run the action on merge conflict PR + any-of-labels: 'Merge Conflicts' + exempt-pr-labels: 'internal, never-stale, ON HOLD, WIP' + exempt-all-pr-assignees: true + operations-per-run: 300 + stale-pr-message: '' + close-pr-message: 'Existing merge conflicts have not been addressed. This PR is considered abandoned.' From 7cd39c502e0b003b8e83228d70b84e3a537423bb Mon Sep 17 00:00:00 2001 From: RD WebDesign Date: Fri, 6 Jan 2023 18:43:31 -0300 Subject: [PATCH 2/2] More detailed comments Signed-off-by: RD WebDesign --- .github/workflows/stale_pr.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/stale_pr.yml b/.github/workflows/stale_pr.yml index 1279479f1..ff04afd9f 100644 --- a/.github/workflows/stale_pr.yml +++ b/.github/workflows/stale_pr.yml @@ -1,7 +1,7 @@ name: Close stale PR # This action will add a `stale` label and close immediately every PR that meets the following conditions: # - it is already marked with "merge conflict" label -# - the "merge conflict" label was added more than 30 days before. +# - there was no update/comment on the PR in the last 30 days. on: schedule: @@ -20,9 +20,11 @@ jobs: - uses: actions/stale@v7.0.0 with: repo-token: ${{ secrets.GITHUB_TOKEN }} - # Do not mark a PR as stale + # Do not automatically mark PR/issue as stale days-before-stale: -1 + # Override 'days-before-stale' for PR only days-before-pr-stale: 30 + # Close PRs immediately, after marking them 'stale' days-before-pr-close: 0 # only run the action on merge conflict PR any-of-labels: 'Merge Conflicts'