diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2017-11-21 08:07:37 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2017-11-21 08:07:37 -0800 |
| commit | 32a7cde180a342aef13b1ffcbe53a088ab4dc51c (patch) | |
| tree | 8edf032494b3c193f21b9715a8f767707413af0f | |
| parent | a15682ee76a1b38f2ca0885911a6a4a5880152ec (diff) | |
| download | subsurface-32a7cde180a342aef13b1ffcbe53a088ab4dc51c.tar.gz | |
Disable Mention-Bot
This is too unreliable and too buggy to work be useful.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
| -rw-r--r-- | .mention-bot | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.mention-bot b/.mention-bot deleted file mode 100644 index 9fb0d60b6..000000000 --- a/.mention-bot +++ /dev/null @@ -1,8 +0,0 @@ -{"alwaysNotifyForPaths": [ - { - "name": "atdotde", - "files": ["**/*plan*", "**/deco*"], - "skipTeamPrs": false - } - ] -} |