From 2771a171481e573b3852c5b643fac6876d86ac75 Mon Sep 17 00:00:00 2001 From: RD WebDesign Date: Fri, 30 Dec 2022 18:00:32 -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 0000000..13c7e12 --- /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 Conflict' + exempt-pr-labels: 'internal,never-stale,ON HOLD,in progress' + 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 0fc9505643b7a63f8d5596f8e9209f038c2fb51f Mon Sep 17 00:00:00 2001 From: RD WebDesign Date: Fri, 6 Jan 2023 18:48:23 -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 13c7e12..87c8758 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 Conflict'