chore: make merge-ready not required for PR status to be green (#11769)

2026-09-14 13:54:52 +08:00 · 2018-06-13 11:53:45 -07:00
parent 84634ccfed
commit e66df3e45f
1 changed files with 0 additions and 1 deletions
@@ -38,7 +38,6 @@ merge:
    # list of labels that a PR needs to have, checked with a regexp (e.g. "PR target:" will work for the label "PR target: master")
    requiredLabels:
      - "target: *"
-      - "pr: merge ready"
      - "cla: yes"

    # list of labels that a PR shouldn't have, checked after the required labels with a regexp