From 433df32ddb83a90f95c7b37c6fd6b68d46cb9100 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Domen=20Ko=C5=BEar?= <domen@dev.si>
Date: Wed, 28 Apr 2021 19:58:29 +0200
Subject: [PATCH] editorconfig check: instruct user what to do

---
 .github/workflows/editorconfig.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
index 2d7b9d7ce842..a6e9eb8718bd 100644
--- a/.github/workflows/editorconfig.yml
+++ b/.github/workflows/editorconfig.yml
@@ -39,3 +39,7 @@ jobs:
       if: env.PR_DIFF
       run: |
         echo "$PR_DIFF" | xargs editorconfig-checker -disable-indent-size
+    - if: ${{ failure() }}
+      run: |
+        echo "::error :: Hey! It looks like your changes don't follow our editorconfig settings. Read https://editorconfig.org/#download to configure your editor so you never see this error again."
+