added support for mention bot (#5347)

This commit is contained in:
Neil Lathwood
2017-01-08 17:39:12 +00:00
committed by GitHub
parent 19a92fdbfc
commit 4cf9c0f2c7
2 changed files with 21 additions and 0 deletions

1
.gitignore vendored
View File

@ -8,6 +8,7 @@
!/.php_cs
!/.github/
!/.codeclimate.yml
!/.mention-bot
# Others #
##########

20
.mention-bot Normal file
View File

@ -0,0 +1,20 @@
{
"maxReviewers": 3, // Maximum number of people to ping in the PR message, default is 3
"numFilesToCheck": 5, // Number of files to check against, default is 5
"message": "Thank you for submitting a PR @pullRequester! We have found the following @reviewers based on the history of these files to review this PR.",
// custom message using @pullRequester and @reviewers
"findPotentialReviewers": true, // mention-bot will try to find potential reviewers based on files history, if disabled, `alwaysNotifyForPaths` is used instead
"fileBlacklist": ["*.md", "vendor/*", "lib/*", "*.png", "*.svg"], // mention-bot will ignore any files that match these file globs
"userBlacklist": ["job", "adamathefrog"], // Users in this list will never be mentioned by mention-bot
"userBlacklistForPR": [], // PR made by users in this list will be ignored
"requiredOrgs": [], // mention-bot will only mention user who are a member of one of these organizations
"actions": ["opened"], // List of PR actions that mention-bot will listen to, default is "opened"
"skipAlreadyAssignedPR": true, // mention-bot will ignore already assigned PR's
"skipAlreadyMentionedPR": true, // mention-bot will ignore if there is already existing an exact mention
"assignToReviewer": false, // mention-bot assigns the most appropriate reviewer for PR
"skipTitle": "--no review--", // mention-bot will ignore PR that includes text in the title,
"withLabel": "", // mention-bot will only consider PR's with this label. Must set actions to ["labeled"].
"delayed": true, // mention-bot will wait to comment until specified time in `delayedUntil` value
"delayedUntil": "30 minutes", // Used if delayed is equal true, permitted values are: minutes, hours, or days, e.g.: '3 days', '40 minutes', '1 hour', '3d', '1h', '10m'
"skipCollaboratorPR": false // mention-bot will ignore if PR is made by collaborator
}