From c2e48d35246c2bb5ff726b3399eae71c7c651d14 Mon Sep 17 00:00:00 2001
From: Gaetano Giunta <giunta.gaetano@gmail.com>
Date: Wed, 20 May 2026 10:56:10 +0000
Subject: [PATCH] add a comment to .editorconfig

Signed-off-by: Gaetano Giunta <giunta.gaetano@gmail.com>
---
 .editorconfig | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index fa5787fe..28f5570e 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -1,5 +1,7 @@
 # https://editorconfig.org
 
+# Tip: to find files violating the rules set out here, run `docker run --rm --volume=$PWD:/check mstruebing/editorconfig-checker`
+
 root = true
 
 [*]