From 8e653fe06469caf60e59e5ef8fc8b5df15901b0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20H=C3=B6nig?= <robhoenig@gmail.com>
Date: Tue, 29 May 2018 10:59:15 +0200
Subject: [PATCH] linter: Add rule to favor Botserver over botserver or bot
 server.

---
 tools/custom_check.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/custom_check.py b/tools/custom_check.py
index 70b4bdd..c2f41ed 100644
--- a/tools/custom_check.py
+++ b/tools/custom_check.py
@@ -194,6 +194,8 @@ def build_custom_checkers(by_lang):
          'description': "Organization is spelled with a z"},
         {'pattern': '!!! warning',
          'description': "!!! warning is invalid; it's spelled '!!! warn'"},
+        {'pattern': '[^-_]botserver(?!rc)|bot server',
+         'description': "Use Botserver instead of botserver or Botserver."},
     ]  # type: RuleList
     json_rules = []  # type: RuleList # fix newlines at ends of files
     # It is okay that json_rules is empty, because the empty list