From 4ad790aa478ee8c7b7b36b11080e774cd13c3546 Mon Sep 17 00:00:00 2001
From: Alex Thiessen <alex.thiessen.de+github@gmail.com>
Date: Mon, 20 Apr 2020 21:01:49 +0200
Subject: [PATCH] editorconfig: Add `.git*` section

Configuration files of `git` are managed by the tool and thus are
tab-indented. If a developer happens to edit such a file manually, the
indentation would become inconsistent.

Add an explicit section for such files and set the indentation to tabs.
---
 .editorconfig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.editorconfig b/.editorconfig
index 87e50155..e302645a 100755
--- a/.editorconfig
+++ b/.editorconfig
@@ -10,3 +10,6 @@ insert_final_newline = true
 
 [*.md]
 trim_trailing_whitespace = false
+
+[.git*]
+indent_style = tab