unison/.mergify.yml

pull_request_rules:
  - name: automatic merge on CI success and review
    conditions:
      - status-success=ubuntu-20.04
      - status-success=macOS-12
      - status-success=windows-2019
      - label=ready-to-merge
      - "#approved-reviews-by>=1"
    actions:
      merge:
        method: merge
      label:
        remove: ["ready-to-merge"]
#   - name: delete head branch after merge
#     conditions: []
#     actions:
#       delete_head_branch: {}
Create .mergify.yml 2019-12-12 23:30:08 +03:00			`pull_request_rules:`
			`- name: automatic merge on CI success and review`
			`conditions:`
Update .mergify.yml Hopefully fixes #1861 2021-04-08 09:32:18 +03:00			`- status-success=ubuntu-20.04`
ci(Mergify): configuration update Signed-off-by: Arya Irani <null> 2023-05-26 13:49:12 +03:00			`- status-success=macOS-12`
let mergify wait for windows build Closes #2961, hopefully. We could probably delete the macOS 10.15 build at some point since they are up to macOS 12 now and we don't build separate binaries anyway. 2022-03-03 01:32:38 +03:00			`- status-success=windows-2019`
Update .mergify.yml 2019-12-12 23:36:27 +03:00			`- label=ready-to-merge`
Update .mergify.yml 2019-12-12 23:32:04 +03:00			`- "#approved-reviews-by>=1"`
Create .mergify.yml 2019-12-12 23:30:08 +03:00			`actions:`
			`merge:`
			`method: merge`
have mergify bot remote "ready-to-merge" label when merging 2020-02-04 19:38:36 +03:00			`label:`
			`remove: ["ready-to-merge"]`
Update .mergify.yml removed delete-branch, because it was messing up the PR status page (see https://user-images.githubusercontent.com/538571/70865200-b8ee4f80-1f28-11ea-8568-c88b9a59f285.png) 2019-12-15 18:50:54 +03:00			`# - name: delete head branch after merge`
			`# conditions: []`
			`# actions:`
			`# delete_head_branch: {}`