From 3544daefcd0cdef1a8bbc4c768a4aed382009f62 Mon Sep 17 00:00:00 2001
From: John Bytheway <jbytheway@gmail.com>
Date: Sun, 8 Sep 2019 08:24:50 -0400
Subject: [PATCH] .editorconfig for json files

The .editorconfig was dictating 4-space indent for all files, but we use
2-space indent for json.  Update it accordingly to make editing such
files more likely to do the right thing.
---
 .editorconfig | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index 9d331827aa9b..c8a3fc304415 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -7,6 +7,11 @@ root = true
 [*]
 end_of_line = lf
 insert_final_newline = true
-# 4 space indentation
 indent_style = space
 indent_size = 4
+
+[*.json]
+end_of_line = lf
+insert_final_newline = true
+indent_style = space
+indent_size = 2