From 47d7f5214901984cc76bdc3b0e777b08cc1f1b8b Mon Sep 17 00:00:00 2001
From: Daniel Rainer <daniel.rainer@localhost>
Date: Mon, 2 Feb 2026 18:02:18 +0100
Subject: [PATCH] editorconfig: use indent_size=2 for Vagrantfiles

This matches the existing formatting of the files.

Part of #12408
---
 .editorconfig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.editorconfig b/.editorconfig
index b0e8ff638..105281b9a 100644
--- a/.editorconfig
+++ b/.editorconfig
@@ -21,7 +21,7 @@ indent_size = 4
 [build_tools/release.sh]
 max_line_length = 72
 
-[Dockerfile]
+[{Dockerfile,Vagrantfile}]
 indent_size = 2
 
 [share/{completions,functions}/**.fish]