.mergify.yml

# GENERATED CONTENT
# remove repo from adrianjost/.github/synced/workflows/generator.js before editing
queue_rules:
  - name: auto merge when ready to merge label is set
    queue_conditions:
      - label=ready to merge
    merge_conditions: []
    merge_method: merge
  - name: branchProtection
    queue_conditions:
      - author~=dependabot(-preview)?\[bot\]
    merge_conditions:
      - '-merged'
    merge_method: squash
pull_request_rules:
  - name: label PRs with conflicts
    conditions:
      - conflict
    actions:
      label:
        add:
          - has conflicts
  - name: remove has conflicts label if conflicts got resolved
    conditions:
      - label~=has conflicts
      - '-conflict'
    actions:
      label:
        remove:
          - has conflicts
  - name: let @adrianjost recreate dependabot PRs with conflicts
    conditions:
      - author~=dependabot(-preview)?\[bot\]
      - conflict
    actions:
      comment:
        message: Someone with write access should tell dependabot to recreate this PR.
  - name: auto merge passing Dependabot pull requests + auto merge when ready to merge label is set
    conditions: []
    actions:
      queue: {}
  - name: remove ready to merge when merged
    conditions:
      - merged
      - label=ready to merge
    actions:
      label:
        remove:
          - ready to merge
  - name: delete merged branches
    conditions:
      - merged
      - label!=WIP
    actions:
      delete_head_branch: {}