summaryrefslogtreecommitdiffstats
path: root/.mention-bot
diff options
context:
space:
mode:
authorGravatar Dirk Hohndel <dirk@hohndel.org>2017-04-20 15:58:30 -0700
committerGravatar Dirk Hohndel <dirk@hohndel.org>2017-04-20 15:58:30 -0700
commit76975ed425e4772a55f3e2f19c8ab5a71c3ab742 (patch)
tree374b9492f1e4afd7105ce2492b0927b51ea55bb4 /.mention-bot
parent6a249bd1604f047051214ee2171aeee7de539d4f (diff)
downloadsubsurface-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-bot8
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
+ ]
}