Merge branch 'main' into stale
All checks were successful
Label PRs based on size / Check PR size (pull_request) Successful in 7s

This commit is contained in:
Jan K9f 2025-09-15 06:13:58 +00:00
commit 9ca0243873
Signed by:
SSH key fingerprint: SHA256:lXEoR6LJYqfrLFi9ELE9o8JyzF7bLKBUlelXoro5APw
2 changed files with 19 additions and 17 deletions

View file

@ -0,0 +1,19 @@
buckets:
- maxSize: 80
label: size/small
comment: null
- maxSize: 200
label: size/medium
comment: null
- maxSize: 2000
label: size/large
comment: >
👮‍♀️⚠️ This is a friendly reminder that the diff size of this PR is bigger than
200 lines we aim for. Please consider splitting this PR into more digestible pieces!
- maxSize: Infinity
label: size/huge
comment: >
👮‍♀️🛑 This PR's diff size is quite huge.
Hopefully you know what you're doing.
If you did not commit a lot of autogenerated files intentionally,
there are few good reasons for this.

View file

@ -1,17 +0,0 @@
name: Stale PR Cleanup
on:
workflow_dispatch:
schedule:
- cron: "@hourly"
jobs:
stale:
runs-on: ubuntu-latest
steps:
- uses: actions/stale@v9
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
days-before-stale: 7
stale-pr-message: "This PR will be closed in 7 days due to inactivity. Add a comment or remove the 'Stale' label to keep it open."
days-before-issue-stale: -1