unison/.mergify.yml

pull_request_rules:
  - name: automatic merge on CI success and review
    conditions:
      - status-success=continuous-integration/travis-ci/pr
      - 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:`
			`- status-success=continuous-integration/travis-ci/pr`
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: {}`