From c66a848c97c01a7449f0effcac0dccbcffaf1470 Mon Sep 17 00:00:00 2001
From: Anders Kaseorg <anders@zulip.com>
Date: Tue, 13 Apr 2021 14:50:50 -0700
Subject: [PATCH] lint: Remove custom // spacing rule.

Commit 7f89cb953535c8358fd6a2c66dc1d8d4f2f736e2 (#17822) enabled the
ESLint spaced-comment rule.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
---
 tools/linter_lib/custom_check.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/linter_lib/custom_check.py b/tools/linter_lib/custom_check.py
index 40a8c6aa9e..ce6295e906 100644
--- a/tools/linter_lib/custom_check.py
+++ b/tools/linter_lib/custom_check.py
@@ -140,8 +140,6 @@ js_rules = RuleList(
             "pattern": "[\"']json/",
             "description": "Relative URL for JSON route not supported by i18n",
         },
-        # This rule is constructed with + to avoid triggering on itself
-        {"pattern": "^[ ]*//[A-Za-z0-9]", "description": "Missing space after // in comment"},
         {
             "pattern": r"""[.]text\(["'][a-zA-Z]""",
             "description": "Strings passed to $().text should be wrapped in $t() for internationalization",