Remove Mergify, use native GitHub auto-merge instead

This commit is contained in:
Hugo van Kemenade 2022-01-24 22:38:33 +02:00
parent dd869b5183
commit b151dd0c93
2 changed files with 0 additions and 11 deletions

3
.github/labels.yml vendored
View file

@ -91,9 +91,6 @@
- color: b60205 - color: b60205
description: Removal of a feature, usually done in major releases description: Removal of a feature, usually done in major releases
name: removal name: removal
- color: 2d18b2
description: "To automatically merge PRs that are ready"
name: automerge
- color: 0366d6 - color: 0366d6
description: "For dependencies" description: "For dependencies"
name: dependencies name: dependencies

View file

@ -1,8 +0,0 @@
pull_request_rules:
- name: Automatic merge on approval
conditions:
- label=automerge
- status-success=build
actions:
merge:
method: merge