Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 12 additions & 0 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,18 @@ pull_request_rules:
- '#changes-requested-reviews-by=0'
- '-label~=^blocked:'

# label PRs with review threads nobody has resolved yet
- actions:
label:
toggle:
- ':thread: loose review threads'
name: Flag PRs with unresolved review threads
conditions:
- base=master
- -draft
- -closed
- '#review-threads-unresolved>0'

# rebase+merge strategy
- actions:
queue:
Expand Down
14 changes: 14 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -465,6 +465,20 @@ If your pull request consists of several commits, consider using `squash+merge
me` instead of `merge me`: the Mergify bot will squash all the commits into one
and concatenate the commit messages of the commits before merging.

The Mergify bot also sets three status labels on open pull requests and removes
them when they no longer apply:

* "👻 haunting the review queue", marks a stale pull request that has had no
reviews. These pull requests are [where help is most needed][label-ghost].
* "1️⃣ more approval needed", marks a pull request with one of the two required
approvals and no changes requested. These are [the quickest to get over the
line][label-one].
* "🧵 loose review threads", marks a pull request with review threads that are
not yet resolved.

[label-ghost]: https://github.com/haskell/cabal/pulls?q=is%3Apr+is%3Aopen+label%3A%22%3Aghost%3A+haunting+the+review+queue%22
[label-one]: https://github.com/haskell/cabal/pulls?q=is%3Apr+is%3Aopen+label%3A%22%3Aone%3A+more+approval+needed%22


### Pull Requests & Issues

Expand Down
Loading