github-mergerine/mergerine.example.json

GitHub bot to automatically merge PRs matching certain criteria.

{
  "dry": false,
  "interval": "2 min",
  "deleteBranchAfterMerge": true,
  "repos": [
    {
      "baseUrl": "https://github.example.com/api/v3",
      "owner": "your-owner",
      "name": "your-repo",
      "query":
        "repo:your-owner/your-repo is:pr is:open review:approved label:merge -label:\"no merge\" base:master",
      "labels": ["merge"],
      "notLabels": ["no merge"],
      "priorityLabels": ["high priority", "medium priority"],
      "sort": "created",
      "direction": "desc",
      "merge_method": "squash"
    }
  ]
}