dhall-haskell/.mergify.yml

pull_request_rules:
- actions:
    merge:
      strict: smart
      method: squash
  name: Automatically merge pull requests
  conditions:
  - status-success=continuous-integration/appveyor/pr
  - status-success=hydra
  - label=merge me
  - ! '#approved-reviews-by>=1'
  - ! '#changes-requested-reviews-by=0'
Enable Mergify support (#1059) Related to https://github.com/dhall-lang/dhall-haskell/issues/1058 This is an attempt to test drive the Mergify GitHub app. Unfortunately, the only way to know for sure if the app works is to merge this configuration into `master`, but if it does not work out then I will follow up with a pull request to revert this change. 2019-07-03 16:58:30 +02:00			`pull_request_rules:`
			`- actions:`
			`merge:`
Let Mergify handle one PR at a time (#1068) Docs: https://doc.mergify.io/actions.html#merge 2019-07-04 17:05:50 +02:00			`strict: smart`
Enable Mergify support (#1059) Related to https://github.com/dhall-lang/dhall-haskell/issues/1058 This is an attempt to test drive the Mergify GitHub app. Unfortunately, the only way to know for sure if the app works is to merge this configuration into `master`, but if it does not work out then I will follow up with a pull request to revert this change. 2019-07-03 16:58:30 +02:00			`method: squash`
			`name: Automatically merge pull requests`
			`conditions:`
			`- status-success=continuous-integration/appveyor/pr`
			`- status-success=hydra`
			`- label=merge me`
			`- ! '#approved-reviews-by>=1'`
			`- ! '#changes-requested-reviews-by=0'`