diff --git a/.github/mergify.yml b/.github/mergify.yml index 18edda0..b07dcd9 100644 --- a/.github/mergify.yml +++ b/.github/mergify.yml @@ -65,10 +65,9 @@ pull_request_rules: - name: Delete the PR branch and remove label after merge/close conditions: - or: - - merged - - closed + - merged + - closed actions: - delete_head_branch: {} label: remove: - "status:merge-when-green" @@ -80,4 +79,4 @@ pull_request_rules: - author=scala-steward actions: label: - add: [ "type:updates" ] + add: ["type:updates"]