From 7eb4e5690ea8ce896cda00f34b2960f8f59aa26d Mon Sep 17 00:00:00 2001 From: Luca Zeug Date: Fri, 31 Mar 2017 13:53:02 +0200 Subject: [PATCH] [meta] remove .mention-bot --- .mention-bot | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 .mention-bot diff --git a/.mention-bot b/.mention-bot deleted file mode 100644 index 4e426ab8a..000000000 --- a/.mention-bot +++ /dev/null @@ -1,13 +0,0 @@ -{ - "actions": ["labeled"], - "withLabel": "please review", - "maxReviewers": 3, - "numFilesToCheck": 5, - "message": "@pullRequester, thanks! @reviewers, please review this.", - "findPotentialReviewers": true, - "fileBlacklist": ["*.md, signatures.js, interface/.meteor"], - "skipAlreadyAssignedPR": false, - "skipAlreadyMentionedPR": false, - "userBlacklist": ["hiddentao"], - "assignToReviewer": false -}