Merge pull request #1767 from aluzzardi/fix-ci

ci: fix broken GH yaml
This commit is contained in:
Andrea Luzzardi 2022-03-10 15:30:45 -08:00 committed by GitHub
commit 8ef782a39b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,20 +1,18 @@
name: "Close stale PRs" name: "Close stale PRs"
permissions:
issues: write
pull-requests: write
on: on:
schedule: schedule:
- cron: "30 1 * * *" - cron: "30 1 * * *"
workflow_dispatch:
jobs: jobs:
stale: stale:
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
issues: write
pull-requests: write
steps: steps:
- uses: actions/stale@v4 - uses: actions/stale@v4
with: with:
debug-only: true
stale-pr-label: stale stale-pr-label: stale
stale-pr-message: "This PR is stale because it has been open 14 days with no activity. Remove stale label or comment or this will be closed in 7 days." stale-pr-message: "This PR is stale because it has been open 14 days with no activity. Remove stale label or comment or this will be closed in 7 days."
close-pr-message: "This PR was closed because it has been stalled for 7 days with no activity." close-pr-message: "This PR was closed because it has been stalled for 7 days with no activity."