diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2017-04-21 00:46:16 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-04-20 15:52:28 -0700 |
| commit | 6a249bd1604f047051214ee2171aeee7de539d4f (patch) | |
| tree | 2bb8c20a38ea3f0968a89f6e7032ef7a220287cb | |
| parent | dfe509222271a66d8852d3f16542e6b1420fb0eb (diff) | |
| download | subsurface-6a249bd1604f047051214ee2171aeee7de539d4f.tar.gz | |
With curly braces
...sorry, I don't have a way to test this.
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | .mention-bot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.mention-bot b/.mention-bot index 6fc3b9c84..c60fe2654 100644 --- a/.mention-bot +++ b/.mention-bot @@ -1,7 +1,8 @@ -"alwaysNotifyForPaths": [ +{"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 +} |