stale #111
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: 'stale' | |
on: | |
schedule: | |
- cron: '42 0 * * *' | |
workflow_dispatch: | |
# Manual triggering through the GitHub UI, API, or CLI | |
inputs: | |
daysBeforeStale: | |
required: true | |
default: "180" | |
daysBeforeClose: | |
required: true | |
default: "30" | |
operationsPerRun: | |
required: true | |
default: "4000" | |
permissions: | |
actions: write # For managing the operation state cache | |
issues: write | |
jobs: | |
stale: | |
# Do not run on forks | |
if: github.repository_owner == 'devlooped' | |
runs-on: ubuntu-latest | |
steps: | |
- name: ⌛ rate | |
shell: pwsh | |
if: github.event_name != 'workflow_dispatch' | |
env: | |
GH_TOKEN: ${{ github.token }} | |
run: | | |
# add random sleep since we run on fixed schedule | |
$wait = get-random -max 180 | |
echo "Waiting random $wait seconds to start" | |
sleep $wait | |
# get currently authenticated user rate limit info | |
$rate = gh api rate_limit | convertfrom-json | select -expandproperty rate | |
# if we don't have at least 100 requests left, wait until reset | |
if ($rate.remaining -lt 100) { | |
$wait = ($rate.reset - (Get-Date (Get-Date).ToUniversalTime() -UFormat %s)) | |
echo "Rate limit remaining is $($rate.remaining), waiting for $($wait / 1000) seconds to reset" | |
sleep $wait | |
$rate = gh api rate_limit | convertfrom-json | select -expandproperty rate | |
echo "Rate limit has reset to $($rate.remaining) requests" | |
} | |
- name: ✏️ label | |
# pending merge: https://github.com/actions/stale/pull/1176 | |
uses: kzu/stale@c8450312ba97b204bf37545cb249742144d6ca69 | |
with: | |
ascending: true # Process the oldest issues first | |
stale-issue-label: 'stale' | |
stale-issue-message: | | |
Due to lack of recent activity, this issue has been labeled as 'stale'. | |
It will be closed if no further activity occurs within ${{ fromJson(inputs.daysBeforeClose || 30 ) }} more days. | |
Any new comment will remove the label. | |
close-issue-message: | | |
This issue will now be closed since it has been labeled 'stale' without activity for ${{ fromJson(inputs.daysBeforeClose || 30 ) }} days. | |
days-before-stale: ${{ fromJson(inputs.daysBeforeStale || 180) }} | |
days-before-close: ${{ fromJson(inputs.daysBeforeClose || 30 ) }} | |
days-before-pr-close: -1 # Do not close PRs labeled as 'stale' | |
operations-per-run: ${{ fromJson(inputs.operationsPerRun || 4000 )}} | |
exempt-all-milestones: true | |
exempt-all-assignees: true | |
exempt-issue-labels: priority,sponsor,backed | |
exempt-authors: kzu |