-
Notifications
You must be signed in to change notification settings - Fork 22
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
56a0433
commit 8e5fa72
Showing
1 changed file
with
51 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,51 @@ | ||
# Configuration for probot-auto-merge - https://github.com/bobvanderlinden/probot-auto-merge | ||
|
||
# The minimum number of reviews from each association that approve the pull request before | ||
# doing an automatic merge. For more information about associations see: | ||
# https://developer.github.com/v4/reference/enum/commentauthorassociation/ | ||
minApprovals: | ||
MEMBER: 0 | ||
COLLABORATOR: 0 | ||
|
||
# The maximum number of reviews from each association that request changes to the pull request. | ||
# Setting this number higher than 0 will allow automatic merging while changes are still requested. | ||
# Requested changes from associations not defined in this list are ignored for automatic merging. | ||
maxRequestedChanges: | ||
COLLABORATOR: 0 | ||
|
||
# Whether an out-of-date pull request is automatically updated. | ||
# It does so by merging its base on top of the head of the pull request. | ||
# This is the equivalent of clicking the 'Update branch' button. | ||
# This is useful for repositories where protected branches are used and the option | ||
# 'Require branches to be up to date before merging' is enabled. | ||
# Note: this only works when the branch of the pull request resides in the same repository as | ||
# the pull request itself. | ||
updateBranch: true | ||
|
||
# Whether the pull request branch is automatically deleted. | ||
# This is the equivalent of clicking the 'Delete branch' button shown on merged pull requests. | ||
# Note: this only works when the branch of the pull request resides in the same repository as | ||
# the pull request itself. | ||
deleteBranchAfterMerge: true | ||
|
||
# In what way a pull request needs to be merged. This can be: | ||
# * merge: creates a merge commit, combining the commits from the pull request on top of | ||
# the base of the pull request (default) | ||
# * rebase: places the commits from the pull request individually on top of the base of the pull request | ||
# * squash: combines all changes from the pull request into a single commit and places the commit on top | ||
# of the base of the pull request | ||
# For more information see https://help.github.com/articles/about-pull-request-merges/ | ||
mergeMethod: merge | ||
|
||
# Blocking labels are the labels that can be attached to a pull request to make sure the pull request | ||
# is not being automatically merged. | ||
blockingLabels: | ||
- blocked | ||
|
||
# Whenever required labels are configured, pull requests will only be automatically merged whenever | ||
# all of these labels are attached to a pull request. | ||
requiredLabels: | ||
- merge | ||
|
||
# Automatic merges will be blocked if there is a match between the regular expression and title | ||
blockingTitleRegex: '\bwip\b' |