From bd1e9010909596d6e8b47f04afdc149e598b14d5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 00:59:32 +0200 Subject: [PATCH 01/14] Workflow to close stale PRs --- .github/workflows/close_stale_prs.yml | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 .github/workflows/close_stale_prs.yml diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml new file mode 100644 index 00000000000..dc8b1c55330 --- /dev/null +++ b/.github/workflows/close_stale_prs.yml @@ -0,0 +1,27 @@ +# Labels PRs without updates for 60 days as stale, then closes them 15 days later. +name: Close stale PRs + +on: + schedule: + # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. + - cron: '39 1 * * *' + +jobs: + close-stale-prs: + runs-on: ubuntu-latest + steps: + - uses: actions/stale@v9 + with: + stale-pr-message: > + It seems that this pull request didn't really move for quite a while. Is this something you'd like to + revisit any time soon or should we close? + stale-pr-label: stale + # Not marking issues as stale. + days-before-issue-stale: -1 + # Close the PR 15 days after marking it as stale. + days-before-close: 15 + close-pr-message: > + Closing this pull request because it has been stale for very long. If you think this is still relevant, + feel free to reopen it. + # Earlier PRs aren't checked. + start-date: '2024-04-10T00:00:00Z' \ No newline at end of file From e966b5eca4d592c393ba455055261fbe9714b019 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 01:00:11 +0200 Subject: [PATCH 02/14] EOF newline --- .github/workflows/close_stale_prs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index dc8b1c55330..8ff44179d74 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -24,4 +24,4 @@ jobs: Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. # Earlier PRs aren't checked. - start-date: '2024-04-10T00:00:00Z' \ No newline at end of file + start-date: '2024-04-10T00:00:00Z' From 95252348e886ea27b8fbd2ef36a8085c4bc10d3b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 01:24:38 +0200 Subject: [PATCH 03/14] Test run --- .github/workflows/close_stale_prs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index 8ff44179d74..d34b44d55ca 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,6 +2,7 @@ name: Close stale PRs on: + pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From 00163a7580988cc7d5e5cf643fe635400ee09819 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 01:27:19 +0200 Subject: [PATCH 04/14] Revert "Test run" This reverts commit 95252348e886ea27b8fbd2ef36a8085c4bc10d3b. --- .github/workflows/close_stale_prs.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index d34b44d55ca..8ff44179d74 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,7 +2,6 @@ name: Close stale PRs on: - pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From 199188701eb3d83a7596a7f7f616d599b0d927d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 03:35:28 +0200 Subject: [PATCH 05/14] Let's close more recent PRs if they're stale --- .github/workflows/close_stale_prs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index 8ff44179d74..a55b8657f5e 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -24,4 +24,4 @@ jobs: Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. # Earlier PRs aren't checked. - start-date: '2024-04-10T00:00:00Z' + start-date: '2024-02-01T00:00:00Z' From 05cb8edce9c8a9e39c31bbbe067d7731de47d0a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 03:35:45 +0200 Subject: [PATCH 06/14] Test run --- .github/workflows/close_stale_prs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index a55b8657f5e..5db47a37f1f 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,6 +2,7 @@ name: Close stale PRs on: + pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From 53696072b5216c6dc3950266094f1b5688dc2f6f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 03:37:24 +0200 Subject: [PATCH 07/14] Revert "Test run" This reverts commit 05cb8edce9c8a9e39c31bbbe067d7731de47d0a0. --- .github/workflows/close_stale_prs.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index 5db47a37f1f..a55b8657f5e 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,7 +2,6 @@ name: Close stale PRs on: - pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From 8ed59cd307b9ce4723b3905c3c26ad28ff8afb1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 10 Apr 2024 18:14:38 +0200 Subject: [PATCH 08/14] Starting PRs from January --- .github/workflows/close_stale_prs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index a55b8657f5e..e713a26fb21 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -24,4 +24,4 @@ jobs: Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. # Earlier PRs aren't checked. - start-date: '2024-02-01T00:00:00Z' + start-date: '2024-01-01T00:00:00Z' From 2d4baacf2752c4735e713aed77136a1b9c0d27cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Thu, 11 Apr 2024 16:20:32 +0200 Subject: [PATCH 09/14] Actually, let's check all PRs --- .github/workflows/close_stale_prs.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index e713a26fb21..bb600c00e52 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -23,5 +23,3 @@ jobs: close-pr-message: > Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. - # Earlier PRs aren't checked. - start-date: '2024-01-01T00:00:00Z' From 1e05ff2f8101932a23ff2c53578b65bc420f1724 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Thu, 11 Apr 2024 16:20:53 +0200 Subject: [PATCH 10/14] Test run --- .github/workflows/close_stale_prs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index bb600c00e52..be3a79a47ea 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,6 +2,7 @@ name: Close stale PRs on: + pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From 281c970cba9d6b21d67a593fb8de4e5c47067d6e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Thu, 11 Apr 2024 16:22:44 +0200 Subject: [PATCH 11/14] Revert "Test run" This reverts commit 1e05ff2f8101932a23ff2c53578b65bc420f1724. --- .github/workflows/close_stale_prs.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index be3a79a47ea..bb600c00e52 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,7 +2,6 @@ name: Close stale PRs on: - pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' From dd0a1fd1add350e6097ff0bcaeaedfa36be7dab1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Thu, 11 Apr 2024 19:49:52 +0200 Subject: [PATCH 12/14] Test run --- .github/workflows/close_stale_prs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index bb600c00e52..30f9592ba5c 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,6 +2,7 @@ name: Close stale PRs on: + pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' @@ -23,3 +24,4 @@ jobs: close-pr-message: > Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. + debug-only: true From 7c01b65f7bdb9e195ecedc4e2f64bc4f144834e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Thu, 11 Apr 2024 19:52:02 +0200 Subject: [PATCH 13/14] Revert "Test run" This reverts commit dd0a1fd1add350e6097ff0bcaeaedfa36be7dab1. --- .github/workflows/close_stale_prs.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index 30f9592ba5c..bb600c00e52 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -2,7 +2,6 @@ name: Close stale PRs on: - pull_request: schedule: # Every day at 1:39 AM UTC. A random time to avoid GitHub Actions being overloaded by scheduled workflows. - cron: '39 1 * * *' @@ -24,4 +23,3 @@ jobs: close-pr-message: > Closing this pull request because it has been stale for very long. If you think this is still relevant, feel free to reopen it. - debug-only: true From 7f9298e70ad01d03654d1532f670c58dbe89a16a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zolt=C3=A1n=20Leh=C3=B3czky?= Date: Wed, 17 Apr 2024 00:39:13 +0200 Subject: [PATCH 14/14] Note on removing the label --- .github/workflows/close_stale_prs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/close_stale_prs.yml b/.github/workflows/close_stale_prs.yml index bb600c00e52..b78897a8809 100644 --- a/.github/workflows/close_stale_prs.yml +++ b/.github/workflows/close_stale_prs.yml @@ -14,7 +14,8 @@ jobs: with: stale-pr-message: > It seems that this pull request didn't really move for quite a while. Is this something you'd like to - revisit any time soon or should we close? + revisit any time soon or should we close? Pleaes comment if you'd like to pick it up and remove the + "stale" label. stale-pr-label: stale # Not marking issues as stale. days-before-issue-stale: -1