From a42190fc0785467c77344b0148950b7eca3b3864 Mon Sep 17 00:00:00 2001
From: zowoq <59103226+zowoq@users.noreply.github.com>
Date: Fri, 15 May 2020 11:04:08 +1000
Subject: [PATCH] GitHub Actions: check editorconfig in PRs

---
 .github/workflows/editorconfig.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/workflows/editorconfig.yml

diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
new file mode 100644
index 000000000000..ae21ac43c03e
--- /dev/null
+++ b/.github/workflows/editorconfig.yml
@@ -0,0 +1,20 @@
+name: editorconfig
+
+on:
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  editorconfig:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@master
+    - uses: technote-space/get-diff-action@v1.2.8
+    - name: fetch image
+      run: docker pull mstruebing/editorconfig-checker
+    - name: editorconfig check
+      run: |
+        docker run --volume="$PWD":/check mstruebing/editorconfig-checker ec \
+          -disable-indentation \
+          ${{ env.GIT_DIFF }}