From 9a46738049e3af1a84b615967f93a32f34ddc101 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Deuchnord?= <jerome@deuchnord.fr>
Date: Fri, 27 Aug 2021 11:31:24 +0000
Subject: [PATCH] chore: add EditorConfig to GitPod config

---
 .gitignore  | 3 +++
 .gitpod.yml | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 719eff8..8b37576 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,6 @@ Pipfile.lock
 /build
 /dist
 /kosmorrolib.egg-info
+
+# Gitpod-specific:
+/.vscode/**
diff --git a/.gitpod.yml b/.gitpod.yml
index 429b929..a899705 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -5,6 +5,7 @@ github:
 vscode:
   extensions:
     - ms-vscode.makefile-tools
+    - editorconfig.editorconfig
 
 tasks:
   - before: pip install -U pip pipenv