005cf56baf
Some checks failed
No response / noResponse (push) Has been cancelled
CI / Continuous releases (push) Has been cancelled
CI / test-dev (macos-latest) (push) Has been cancelled
CI / test-dev (ubuntu-latest) (push) Has been cancelled
CI / test-dev (windows-latest) (push) Has been cancelled
Maintenance / main (push) Has been cancelled
Scorecards supply-chain security / Scorecards analysis (push) Has been cancelled
CodeQL / Analyze (push) Has been cancelled
41 lines
1.1 KiB
YAML
41 lines
1.1 KiB
YAML
name: Maintenance
|
|
|
|
on:
|
|
# So that PRs touching the same files as the push are updated
|
|
push:
|
|
branches:
|
|
# #target-branch-reference
|
|
- master
|
|
- v6.x
|
|
# So that the `dirtyLabel` is removed if conflicts are resolved
|
|
# Could put too much strain on rate limit
|
|
# If we hit the rate limit too often remove this event
|
|
pull_request_target:
|
|
branches:
|
|
# #target-branch-reference
|
|
- master
|
|
- v6.x
|
|
types: [synchronize]
|
|
|
|
permissions: {}
|
|
|
|
jobs:
|
|
main:
|
|
# l10nbot creates a lot of commits at once which starves CI.
|
|
# We rely on other pushes to mark these branches as outdated.
|
|
if: ${{ github.actor != 'l10nbot' }}
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
contents: read
|
|
pull-requests: write
|
|
steps:
|
|
- run: echo '${{ github.actor }}'
|
|
- name: Check if prs are dirty
|
|
uses: eps1lon/actions-label-merge-conflict@1df065ebe6e3310545d4f4c4e862e43bdca146f0 # v3.0.3
|
|
with:
|
|
dirtyLabel: 'PR: out-of-date'
|
|
removeOnDirtyLabel: 'PR: ready to ship'
|
|
repoToken: '${{ secrets.GITHUB_TOKEN }}'
|
|
retryAfter: 130
|
|
retryMax: 10
|