mirror of
https://github.com/pi-hole/pi-hole
synced 2024-12-22 14:58:08 +00:00
More detailed comments
Signed-off-by: RD WebDesign <github@rdwebdesign.com.br>
This commit is contained in:
parent
4413224a31
commit
2c29b25782
6
.github/workflows/stale_pr.yml
vendored
6
.github/workflows/stale_pr.yml
vendored
@ -1,7 +1,7 @@
|
|||||||
name: Close stale PR
|
name: Close stale PR
|
||||||
# This action will add a `stale` label and close immediately every PR that meets the following conditions:
|
# 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
|
# - it is already marked with "merge conflict" label
|
||||||
# - the "merge conflict" label was added more than 30 days before.
|
# - there was no update/comment on the PR in the last 30 days.
|
||||||
|
|
||||||
on:
|
on:
|
||||||
schedule:
|
schedule:
|
||||||
@ -20,9 +20,11 @@ jobs:
|
|||||||
- uses: actions/stale@v7.0.0
|
- uses: actions/stale@v7.0.0
|
||||||
with:
|
with:
|
||||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
# Do not mark a PR as stale
|
# Do not automatically mark PR/issue as stale
|
||||||
days-before-stale: -1
|
days-before-stale: -1
|
||||||
|
# Override 'days-before-stale' for PR only
|
||||||
days-before-pr-stale: 30
|
days-before-pr-stale: 30
|
||||||
|
# Close PRs immediately, after marking them 'stale'
|
||||||
days-before-pr-close: 0
|
days-before-pr-close: 0
|
||||||
# only run the action on merge conflict PR
|
# only run the action on merge conflict PR
|
||||||
any-of-labels: 'PR: Merge Conflict'
|
any-of-labels: 'PR: Merge Conflict'
|
||||||
|
Loading…
Reference in New Issue
Block a user