You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
31 lines
876 B
31 lines
876 B
1 year ago
|
name: Stale PR Check
|
||
|
|
|
||
|
|
on:
|
||
|
|
schedule:
|
||
|
|
- cron: '30 */12 * * *'
|
||
|
|
workflow_dispatch:
|
||
|
|
|
||
|
|
permissions:
|
||
|
|
pull-requests: write
|
||
|
|
actions: write
|
||
|
|
|
||
|
|
jobs:
|
||
|
|
prs-stale-conflicts:
|
||
|
|
name: Check PRs with merge conflicts
|
||
|
|
runs-on: ubuntu-latest
|
||
|
|
if: ${{ contains(github.repository, 'jellyfin/') }}
|
||
|
|
steps:
|
||
|
|
- uses: actions/stale@1160a2240286f5da8ec72b1c0816ce2481aabf84 # v8.0.0
|
||
|
|
with:
|
||
|
|
repo-token: ${{ secrets.JF_BOT_TOKEN }}
|
||
|
|
ascending: true
|
||
|
|
operations-per-run: 150
|
||
|
|
# The merge conflict action will remove the label when updated
|
||
|
|
remove-stale-when-updated: false
|
||
|
|
days-before-stale: -1
|
||
|
|
days-before-close: 90
|
||
|
|
days-before-issue-close: -1
|
||
|
|
stale-pr-label: merge conflict
|
||
|
|
close-pr-message: |-
|
||
|
|
This PR has been closed due to having unresolved merge conflicts.
|