mergify.yml

# Note: We do not use the rebase strategy to merge PRs, because that
# loses information needed by changelog-d to associate commits with PRs.

priority_rules:

  - name: high priority
    conditions:
      - 'label=priority: high :fire:'
    priority: high

  # The idea is we slightly prioritize those PRs because we're in
  # a release cycle if a PR matches.
  - name: release branch
    conditions:
      - 'base~=^3\.'
      - 'label!=backport'
    # 'normal' is 2000, 'high' is 3000
    priority: 2500

pull_request_rules:

  # implementing PR delay logic: apply a label after 2 days of inactivity
  # the label will allow Mergify to merge (see #8442, #8448)
  - actions:
      label:
        add:
          - merge delay passed
    name: Wait for 2 days before validating merge
    conditions:
      - or:
        - 'label=priority: high :fire:'
        - updated-at<2 days ago
      - or:
        - label=merge me
        - label=squash+merge me
        - 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
      # lifted these from branch protection imports
      - check-success=fourmolu
      - check-success=hlint
      - check-success=Meta checks
      - check-success=Doctest Cabal
      - check-success=Validate post job
      - check-success=Bootstrap post job
      - 'check-success=docs/readthedocs.org:cabal'

  # label when Mergify didn't trigger a merge automatically
  - actions:
      label:
        add:
          - waiting too long
    name: Mergify hasn't merged a PR yet
    conditions:
      - base=master
      - -draft
      - -closed
      - -merged
      - '#approved-reviews-by>=2'
      - '#changes-requested-reviews-by=0'
      - updated-at<4 days ago
      - label=merge delay passed
      # oy
      # lifted these from branch protection imports
      - check-success=fourmolu
      - check-success=hlint
      - check-success=Meta checks
      - check-success=Doctest Cabal
      - check-success=Validate post job
      - check-success=Bootstrap post job
      - 'check-success=docs/readthedocs.org:cabal'

  # rebase+merge strategy
  - actions:
      queue:
        name: default
    name: Put pull requests in the rebase+merge queue
    conditions:
      - base=master
      - label=merge me
      - label=merge delay passed
      - '#approved-reviews-by>=2'
      - '-label~=^blocked:'

  # merge+squash strategy
  - actions:
      queue:
        name: squash-merge
    name: Put pull requests in the squash+merge queue
    conditions:
      - base=master
      - label=squash+merge me
      - label=merge delay passed
      - '#approved-reviews-by>=2'
      - '-label~=^blocked:'

  # merge+no rebase strategy
  - actions:
      merge:
        method: merge
    name: Merge "merge+no rebase" pull requests directly (without a queue)
    conditions:
      - base=master
      - label=merge+no rebase
      - label=merge delay passed
      - '#approved-reviews-by>=2'
      - '-label~=^blocked:'

  # merge strategy for release branches
  - actions:
      queue:
        name: default
    name: Put release branch pull requests in the rebase+merge queue
    conditions:
      - label=merge me
      - base!=master
      - -body~=backport
      - '#approved-reviews-by>=2'
      - '-label~=^blocked:'

  # merge+squash strategy for release branches
  - actions:
      queue:
        name: squash-merge
    name: Put release branch pull requests in the squash+merge queue
    conditions:
      - base!=master
      - label=squash+merge me
      - -body~=backport
      - '#approved-reviews-by>=2'
      - '-label~=^blocked:'

  # merge strategy for backports: require 1 approver instead of 2
  - actions:
      queue:
        name: default
    name: Put backports in the rebase+merge queue
    conditions:
      - label=merge me
      - base!=master
      - body~=backport
      - '#approved-reviews-by>=1'
      - '-label~=^blocked:'

  # merge+squash strategy for backports: require 1 approver instead of 2
  - actions:
      queue:
        name: squash-merge
    name: Put backports in the squash+merge queue
    conditions:
      - label=squash+merge me
      - base!=master
      - body~=backport
      - '#approved-reviews-by>=1'
      - '-label~=^blocked:'

  # backports should be labeled as such
  - actions:
      label:
        add:
          - backport
    name: Label backports as such
    conditions:
      - body~=automatic backport

queue_rules:
  # Mergify now requires different queues for different strategies
  - name: default
    update_bot_account: Mikolaj
    merge_method: merge
    update_method: rebase

  - name: squash-merge
    update_bot_account: Mikolaj
    merge_method: squash
    update_method: merge

defaults:
  actions:
    backport:
      title: "Backport #{{ number }}: {{ title }}"