From 3840c98b361b0cc4976cfe13f58ad9d4ce3e8669 Mon Sep 17 00:00:00 2001
From: nanahi <130121847+na-na-hi@users.noreply.github.com>
Date: Sat, 15 Jun 2024 18:46:41 -0400
Subject: [PATCH] editorconfig: punish tab usage

This makes tab width to 7 on GitHub web UI and supported editors, making it
impossible to use tabs to match the existing 4 space indentation.
---
 .editorconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.editorconfig b/.editorconfig
index 0f4e36dcdc..5d8802d2c9 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -8,6 +8,7 @@ charset = utf-8
 insert_final_newline = true
 indent_style = space
 indent_size = 4
+tab_width = 7
 max_line_length = 80
 trim_trailing_whitespace = true