xref: /optee_os/.github/workflows/stales.yml (revision cd1c6d65a02e54ad17fe4658101d880b8960cacf)
1*cd1c6d65SJerome Forissiername: 'Close stale issues and pull requests with no recent activity'
250bbda3dSJoakim Bechon:
350bbda3dSJoakim Bech  schedule:
450bbda3dSJoakim Bech  - cron: "15 00 * * *"
550bbda3dSJoakim Bech
650bbda3dSJoakim Bechjobs:
750bbda3dSJoakim Bech  stale:
850bbda3dSJoakim Bech    runs-on: ubuntu-latest
950bbda3dSJoakim Bech    steps:
1050bbda3dSJoakim Bech    - uses: actions/stale@v3.0.7
1150bbda3dSJoakim Bech
1250bbda3dSJoakim Bech      with:
1350bbda3dSJoakim Bech        repo-token: ${{ secrets.GITHUB_TOKEN }}
1450bbda3dSJoakim Bech        stale-issue-message: 'This issue has been marked as a stale issue because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this issue will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.'
1550bbda3dSJoakim Bech        stale-pr-message: 'This pull request has been marked as a stale pull request because it has been open (more than) 30 days with no activity. Remove the stale label or add a comment, otherwise this pull request will automatically be closed in 5 days. Note, that you can always re-open a closed issue at any time.'
1650bbda3dSJoakim Bech        stale-issue-label: Stale
1750bbda3dSJoakim Bech        stale-pr-label: Stale
1850bbda3dSJoakim Bech        exempt-issue-labels: bug,enhancement
1950bbda3dSJoakim Bech        exempt-pr-labels: bug,enhancement
2050bbda3dSJoakim Bech        days-before-stale: 30
2150bbda3dSJoakim Bech        days-before-close: 5
2250bbda3dSJoakim Bech        remove-stale-when-updated: true
23