max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: activate stale PR labeler

Browse source
This commit is contained in:
Sebastian Ullrich 2023-09-20 09:18:46 +02:00 • committed by GitHub
parent 0a59fd96a5
commit de76a5d922
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/stale.yml vendored
View file

@ -16,7 +16,5 @@ jobs:
days-before-stale: -1
days-before-pr-stale: 30
days-before-close: -1
stale-pr-lable: 'stale'
stale-pr-label: 'stale'
only-labels: 'awaiting-author'
debug-only: true
operations-per-run: 1000 # for dry-run