Skip to content

Commit

Permalink
add "ready and waiting" Mergify label
Browse files Browse the repository at this point in the history
The bot can use this to announce PRs that are entering the 2-day
waiting period.
  • Loading branch information
geekosaur committed Jul 23, 2024
1 parent 705b6eb commit 3cbb79e
Showing 1 changed file with 25 additions and 0 deletions.
25 changes: 25 additions & 0 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,31 @@ pull_request_rules:
- label=merge+no rebase
- '#approved-reviews-by>=2'

# label when Mergify is ready but waiting for the above
- actions:
label:
add:
- ready and waiting
name: Waiting out merge delay (used by bot)
conditions:
- base=master
- -draft
- -closed
- or:
- label=merge me
- label=squash+merge me
- label=merge+no rebase
- '#approved-reviews-by>=2'
- '#changes-requested-reviews-by=0'
# oy
- check-success=Formatting / fourmolu
- check-success=Linting / hlint
- check-success=Quick jobs / Meta checks
- check-success=Quick jobs / Doctest Cabal
- check-success=Validate / Validate post job
- check-success=Bootstrap / Bootstrap post job
- 'check-success=docs/readthedocs.org:cabal'

# rebase+merge strategy
- actions:
queue:
Expand Down

0 comments on commit 3cbb79e

Please sign in to comment.