From 09197c6e568a4e243bcf2d2a168b0134bed5b885 Mon Sep 17 00:00:00 2001
From: zkldi <20380519+zkldi@users.noreply.github.com>
Date: Mon, 25 Apr 2022 08:25:52 +0100
Subject: [PATCH] docs: document .eslintignore

---
 server/.eslintignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/server/.eslintignore b/server/.eslintignore
index 650b81784..15f52152e 100644
--- a/server/.eslintignore
+++ b/server/.eslintignore
@@ -1,2 +1,7 @@
+# Things we don't want ESLint to lint. This is just compiled output
+# and other people's code.
+# Note that an editor or eslint implementation not honouring this file
+# may cause crashes, as it will try and lint a couple million lines of JS.
+
 node_modules
 js
\ No newline at end of file