.mergify.yml

pull_request_rules:
  - name: ask to resolve conflict
    conditions:
      - -merged
      - -closed
      - conflict
    actions:
        comment:
          message: |
            This pull request is now in conflict. Could you fix it @{{author}}? 🙏
            To fixup this pull request, you can check out it locally. See documentation: https://help.github.com/articles/checking-out-pull-requests-locally/
            ```
            git fetch upstream
            git checkout -b {{head}} upstream/{{head}}
            git merge upstream/{{base}}
            git push upstream {{head}}
            ```
  - name: backport patches to 8.1 branch
    conditions:
      - merged
      - base=main
      - label=backport-8.1
    actions:
      backport:
        assignees:
          - "{{ author }}"
        branches:
          - "8.1"
        title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }})"
        labels:
          - backport
  - name: backport patches to 8.0 branch
    conditions:
      - merged
      - base=main
      - label=backport-8.0
    actions:
      backport:
        assignees:
          - "{{ author }}"
        branches:
          - "8.0"
        title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }})"
        labels:
          - backport
  - name: backport patches to 7.17 branch
    conditions:
      - merged
      - base=main
      - label=backport-7.17
    actions:
      backport:
        assignees:
          - "{{ author }}"
        branches:
          - "7.17"
        title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }})"
        labels:
          - backport
  - name: backport patches to 7.16 branch
    conditions:
      - merged
      - base=main
      - label=backport-7.16
    actions:
      backport:
        assignees:
          - "{{ author }}"
        branches:
          - "7.16"
        title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }})"
        labels:
          - backport
  - name: backport patches to 7.15 branch
    conditions:
      - merged
      - base=main
      - label=backport-7.15
    actions:
      backport:
        assignees:
          - "{{ author }}"
        branches:
          - "7.15"
        title: "[{{ destination_branch }}] {{ title }} (backport #{{ number }})"
        labels:
          - backport
  - name: notify the backport policy
    conditions:
      - -label~=^backport
      - base=main
    actions:
      comment:
        message: |
          This pull request does not have a backport label. Could you fix it @{{author}}? 🙏
          To fixup this pull request, you need to add the backport labels for the needed
          branches, such as:
          * `backport-/d./d` is the label to automatically backport to the `/d./d` branch. `/d` is the digit
          **NOTE**: `backport-skip` has been added to this pull request.
      label:
        add:
          - backport-skip
  - name: remove backport-skip label
    conditions:
      - label~=^backport-\d
      - -merged
      - -closed
    actions:
      label:
        remove:
          - backport-skip
  - name: notify the backport has not been merged yet
    conditions:
      - -merged
      - -closed
      - author=mergify[bot]
      - "#check-success>0"
      - schedule=Mon-Mon 06:00-10:00[Europe/Paris]
      - "#assignee>=1"
    actions:
      comment:
        message: |
          This pull request has not been merged yet. Could you please review and merge it @{{ assignee | join(', @') }}? 🙏