update tags to new names

This commit is contained in:
Matthias Mair 2022-05-15 15:58:20 +02:00 committed by GitHub
parent 55b909a1de
commit e83f9ead0a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -19,7 +19,7 @@ jobs:
repo-token: ${{ secrets.GITHUB_TOKEN }} repo-token: ${{ secrets.GITHUB_TOKEN }}
stale-issue-message: 'This issue seems stale. Please react to show this is still important.' stale-issue-message: 'This issue seems stale. Please react to show this is still important.'
stale-pr-message: 'This PR seems stale. Please react to show this is still important.' stale-pr-message: 'This PR seems stale. Please react to show this is still important.'
stale-issue-label: 'no-activity' stale-issue-label: 'inactive'
stale-pr-label: 'no-activity' stale-pr-label: 'inactive'
start-date: '2022-01-01' start-date: '2022-01-01'
exempt-all-milestones: true exempt-all-milestones: true