---
- pipeline:
    name: check
    description: |
      Newly opened pull requests enter this pipeline to receive an
      initial verification
    manager: independent
    precedence: low
    trigger:
      github:
        - event: pull_request
          action:
            - opened
            - changed
            - reopened
        - event: pull_request
          action: comment
          comment: (?i)^\s*recheck\s*$
        # When using the checks API to report results, failed runs
        # will have a "re-run" button which emits this event.
        - event: check_run
          action: rerequested
          check: .*/check:.*
      gitlab:
        - event: gl_merge_request
          action: comment
          comment: (?i)^\s*recheck\s*$
        - event: gl_merge_request
          action:
            - opened
            - changed
      gitea:
        - event: gt_pull_request
          action:
            - opened
            - changed
            - reopened
        - event: gt_pull_request
          action: comment
          comment: (?i)^\s*recheck\s*$
    start:
      github:
        check: in_progress
        comment: false
      gitlab:
        comment: true
        approval: false
    success:
      github:
        check: success
        comment: false
      gitlab:
        comment: true
        approval: true
      gitea:
        comment: true
        status: "success"
    failure:
      github:
        check: failure
        comment: false
      gitlab:
        comment: true
        approval: false
      gitea:
        comment: true
        status: "failure"
    dequeue:
      github:
        check: cancelled
        comment: false

- pipeline:
    name: gate
    description: |
      Changes that have been approved by core developers are enqueued
      in order in this pipeline, and if they pass tests, will be
      merged.
    manager: dependent
    precedence: high
    supercedes: check
    post-review: true
    require:
      github:
        review:
          - type: approved
            permission: write
        current-patchset: true
        open: true
        label: 'gate'
        # status: "otc-zuul\\[bot\\]:eco/check:success"
      gitlab:
        approved: true
        open: true
        labels:
          - 'gate'
    trigger:
      github:
        - event: pull_request_review
          action: submitted
          state: approved
        - event: pull_request
          action: comment
          comment: (?i)^\s*regate\s*$
        - event: pull_request_review
          action: dismissed
          state: request_changes
        - event: pull_request
          action: status
          status: ".*:success"
        - event: check_run
          action: rerequested
          check: .*/gate:.*
        - event: pull_request
          action: labeled
          label:
            - gate
      gitlab:
        - event: gl_merge_request
          action:
            - approved
        - event: gl_merge_request
          action:
            - labeled
          labels:
            - gate
    start:
      github:
        check: in_progress
        comment: false
      gitlab:
        comment: true
        approval: false
    success:
      github:
        check: success
        merge: true
      gitlab:
        comment: true
        approval: true
        merge: true
    failure:
      github:
        check: failure
      gitlab:
        comment: true
        approval: false
    dequeue:
      github:
        check: cancelled
        comment: false
    window-floor: 20
    window-increase-factor: 2

- pipeline:
    name: post
    description: |
      This pipeline runs jobs that operate after each change is
      merged. Queue items are identified by the abbreviated hash (git
      log --format=%h) of the merge commit.
    manager: supercedent
    precedence: high
    post-review: true
    trigger:
      github:
        - event: push
          ref: ^refs/heads/.*$
      gitlab:
        - event: gl_push
          ref: ^refs/heads/.*$