diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2017-04-20 15:58:30 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2017-04-20 15:58:30 -0700 |
commit | 76975ed425e4772a55f3e2f19c8ab5a71c3ab742 (patch) | |
tree | 374b9492f1e4afd7105ce2492b0927b51ea55bb4 /.mention-bot | |
parent | 6a249bd1604f047051214ee2171aeee7de539d4f (diff) | |
download | subsurface-76975ed425e4772a55f3e2f19c8ab5a71c3ab742.tar.gz |
Mention bot: no comments
I believe that even though the sample file clearly shows
comments, the syntax actually doesn't allow it.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.mention-bot')
-rw-r--r-- | .mention-bot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.mention-bot b/.mention-bot index c60fe2654..9fb0d60b6 100644 --- a/.mention-bot +++ b/.mention-bot @@ -1,8 +1,8 @@ {"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 + "name": "atdotde", + "files": ["**/*plan*", "**/deco*"], + "skipTeamPrs": false } - ] // Users will always be mentioned based on file glob + ] } |