chore: use the new labels in GitHub actions and docs (#6940)

This commit is contained in:
Gabor Kiss-Vamosi
2024-09-30 17:38:49 +02:00
committed by GitHub
parent e4849fecdd
commit bdba77287c
2 changed files with 12 additions and 15 deletions
+7 -7
View File
@@ -15,20 +15,20 @@ jobs:
stale-issue-message: |
We need some feedback on this issue.
Now we mark this as "stale" because there was no activity here for 14 days.
Now we mark this as "Abandoned" because there was no activity here for 14 days.
Remove the "stale" label or comment else this will be closed in 7 days.
Remove the "Stale" label or comment else this will be closed in 7 days.
stale-pr-message: |
We need some feedback on this pull request.
Now we mark this as "stale" because there was no activity here for 14 days.
Now we mark this as "Abandoned" because there was no activity here for 14 days.
Remove the "stale" label or comment else this will be closed in 7 days.
Remove the "Stale" label or comment else this will be closed in 7 days.
close-issue-message: |
As there was no activity here for a while we close this issue. But don't worry, the conversation is still here and you can get back to it at any time.
So feel free to comment if you have remarks or ideas on this topic.
Feel free to comment if you have remarks or ideas on this topic.
days-before-stale: 14
days-before-close: 7
exempt-issue-labels: 'pinned, next major, next minor, shaping, ready for development'
exempt-pr-labels: 'pinned, next major, next minor'
exempt-issue-labels: 'important'
exempt-pr-labels: 'important'