diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2017-04-20 19:15:47 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-04-20 10:54:52 -0700 |
| commit | b81fdbe1c7809e97efb4320e1c6cf806dc613a66 (patch) | |
| tree | 339e9c5305cdfadbc8b7881ea00c8286c681e995 | |
| parent | cb15a37ee5d508906241f425a38d6fa577da7472 (diff) | |
| download | subsurface-b81fdbe1c7809e97efb4320e1c6cf806dc613a66.tar.gz | |
Tell mention-bot to mention @atdotde if planner/deco files touched
Signed-off-by: Robert C. Helling <helling@atdotde.de>
| -rw-r--r-- | .mention-bot | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.mention-bot b/.mention-bot new file mode 100644 index 000000000..6fc3b9c84 --- /dev/null +++ b/.mention-bot @@ -0,0 +1,7 @@ +"alwaysNotifyForPaths": [ + { + "name": "atdotde", // The user's Github username + "files": ["**/*plan*", "**/deco*"], // The array of file globs associated with the user + "skipTeamPrs": false // mention-bot will exclude the creator's own team from mentions + } + ] // Users will always be mentioned based on file glob |