github-mergerine
Version:
GitHub bot to automatically merge PRs matching certain criteria.
34 lines (33 loc) • 816 B
JSON
{
"dry": false,
"interval": "2 min",
"deleteBranchAfterMerge": true,
"logDataUrlPattern": ".*",
"phases": ["merge", "update"],
"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",
"restrictions": [
{
"teams": [
{
"id": "123",
"approvals": 2
}
]
}
],
"merge_method": "squash",
"phases": ["merge", "update"]
}
]
}