From 1a0be8b6c3a6bcd416f954a7a637f691f236af6e Mon Sep 17 00:00:00 2001 From: Nara Kasbergen Kwon <855115+xiehan@users.noreply.github.com> Date: Tue, 29 Nov 2022 12:46:02 +0100 Subject: [PATCH 1/2] chore: increase operations per run of stale workflow The `stale` action defaults to 30 `operations-per-run` to stay under GitHub's hourly rate limit, but for us, that's only enough to get us to issue 1697 in reverse cron before it runs out of operations and stops the job; therefore, older issues and PRs are not currently being checked by this workflow. However, I looked it up and supposedly the rate limit for GitHub Enterprise is 15,000 requests per hour, so I think we can afford to go quite a bit higher. Let's try 200 for now, I'll monitor for another few days and then if we're not having issues maybe we can go up to ~1000 for future-proofing. --- .github/workflows/stale.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 3f0a610d8a..46cd947cdb 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -33,3 +33,6 @@ jobs: labels-to-remove-when-unstale: "waiting-on-answer,stale" # For both issues and PRs, ignore anything that's been assigned to a milestone exempt-all-milestones: true + + # Since we are on a GitHub Enterprise Server, we shouldn't have to worry about the rate limit + operations-per-run: 200 From 9a2c0f2dd226318ac4ee21f163ebf0031ab74a0c Mon Sep 17 00:00:00 2001 From: Daniel Schmidt Date: Mon, 5 Dec 2022 16:28:19 +0100 Subject: [PATCH 2/2] chore: run format --- .github/workflows/stale.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 614b3d18db..a593e03c28 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -33,6 +33,6 @@ jobs: labels-to-remove-when-unstale: "waiting-on-answer,stale" # For both issues and PRs, ignore anything that's been assigned to a milestone exempt-all-milestones: true - + # Since we are on a GitHub Enterprise Server, we shouldn't have to worry about the rate limit operations-per-run: 200