| Justin Wood | 752bd42 | 2023-06-19 19:25:28 -0400 | [diff] [blame] | 1 | pull_request_rules: |
| Justin Wood | e14ce48 | 2024-08-07 16:02:07 -0700 | [diff] [blame] | 2 | - name: Label conflicting pull requests |
| 3 | description: Add a label to a pull request with conflict to spot it easily |
| 4 | conditions: |
| 5 | - conflict |
| 6 | - '-closed' |
| 7 | actions: |
| 8 | label: |
| 9 | toggle: |
| 10 | - conflict |
| Justin Wood | 752bd42 | 2023-06-19 19:25:28 -0400 | [diff] [blame] | 11 | - name: Automatic merge on PullApprove |
| 12 | conditions: |
| Justin Wood | 9594d0d | 2023-06-22 17:18:24 -0700 | [diff] [blame] | 13 | - or: |
| Justin Wood | e14ce48 | 2024-08-07 16:02:07 -0700 | [diff] [blame] | 14 | - check-success=pullapprove |
| 15 | - label="fast track" |
| 16 | - '#approved-reviews-by>=1' |
| 17 | - '#review-threads-unresolved=0' |
| 18 | - '-draft' |
| 19 | - label!=docker |
| 20 | - '#check-failure=0' |
| 21 | - '#check-pending=0' |
| 22 | - check-success~=Build |
| Justin Wood | 752bd42 | 2023-06-19 19:25:28 -0400 | [diff] [blame] | 23 | - or: |
| Justin Wood | e14ce48 | 2024-08-07 16:02:07 -0700 | [diff] [blame] | 24 | - check-success=pullapprove |
| 25 | - check-skipped=pullapprove |
| 26 | - check-neutral=pullapprove |
| Justin Wood | 752bd42 | 2023-06-19 19:25:28 -0400 | [diff] [blame] | 27 | actions: |
| 28 | merge: |
| 29 | method: squash |
