mirror of
https://github.com/pi-hole/docs.git
synced 2026-04-02 08:25:12 +01:00
7fd73d974c
Bumps the github_action-dependencies group with 1 update: [actions/stale](https://github.com/actions/stale).
Updates `actions/stale` from 10.1.1 to 10.2.0
- [Release notes](https://github.com/actions/stale/releases)
- [Changelog](https://github.com/actions/stale/blob/main/CHANGELOG.md)
- [Commits](997185467f...b5d41d4e1d)
---
updated-dependencies:
- dependency-name: actions/stale
dependency-version: 10.2.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: github_action-dependencies
...
Signed-off-by: dependabot[bot] <support@github.com>
35 lines
1.2 KiB
YAML
35 lines
1.2 KiB
YAML
name: Close stale PR
|
|
# This action will add a `stale` label and close immediately every PR that meets the following conditions:
|
|
# - it is already marked with "merge conflict" label
|
|
# - there was no update/comment on the PR in the last 30 days.
|
|
|
|
on:
|
|
schedule:
|
|
- cron: "0 10 * * *"
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
stale:
|
|
runs-on: ubuntu-latest
|
|
permissions:
|
|
issues: write
|
|
pull-requests: write
|
|
|
|
steps:
|
|
- uses: actions/stale@b5d41d4e1d5dceea10e7104786b73624c18a190f #v10.2.0
|
|
with:
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
# Do not automatically mark PR/issue as stale
|
|
days-before-stale: -1
|
|
# Override 'days-before-stale' for PR only
|
|
days-before-pr-stale: 30
|
|
# Close PRs immediately, after marking them 'stale'
|
|
days-before-pr-close: 0
|
|
# only run the action on merge conflict PR
|
|
any-of-labels: "Merge Conflict"
|
|
exempt-pr-labels: "Internal, Never Stale, On Hold, WIP"
|
|
exempt-all-pr-assignees: true
|
|
operations-per-run: 300
|
|
stale-pr-message: ""
|
|
close-pr-message: "Existing merge conflicts have not been addressed. This PR is considered abandoned."
|