Make "!buildbot" command ignores the case (#409)

Author: vstinner

master/custom/pr_testing.py

@@ -254,18 +254,19 @@ def handle_issue_comment(self, payload, event):
             )
             return ([], "git")
 
-        builder_filter_fn = re.compile(builder_filter)
+        # This code is related to GitHubPrScheduler
+        builder_filter_fn = re.compile(builder_filter, re.IGNORECASE)
         matched_builders = [
-            builder
-            for builder in self.builder_names
+            builder_name
+            for builder_name in builder_names
             if builder_filter_fn.search(builder)
         ]
         if not matched_builders:
             log.msg(f"GitHub PR #{number}: regex {builder_filter!r} "
                     f"did not match any builder", logLevel=logging.DEBUG)
             yield self._post_comment(
                 payload["issue"]["comments_url"],
-                f"The regex {builder_filter!r} did not match any buildbot builder."
+                f"The regex {builder_filter!r} did not match any buildbot builder. "
                 f"Is the requested builder in the list of stable builders?",
             )
             return (changes, "git")

master/custom/schedulers.py

@@ -22,7 +22,7 @@ def addBuildsetForChanges(self, **kwargs):
         if builder_filter and builder_names:
             log.msg("Found builder filter: {}".format(builder_filter))
             builder_filter, _ = builder_filter
-            matcher = re.compile(builder_filter)
+            matcher = re.compile(builder_filter, re.IGNORECASE)
             builder_names = [
                 builder_name
                 for builder_name in builder_names