From 6dce0bb299ae2d78b20a7d54ddf964e7d2cea10a Mon Sep 17 00:00:00 2001
From: Jörg Thalheim <joerg@thalheim.io>
Date: Thu, 30 Jul 2020 21:38:39 +0100
Subject: Revert "actions/editorconfig: disable until we can combine this with
 ofborg (#88608)"

This reverts commit 1ccf44204bb15d6e4fd6155a971e3a6fbf95e8ac.
---
 .github/workflows/editorconfig.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 .github/workflows/editorconfig.yml

(limited to '.github')

diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
new file mode 100644
index 000000000000..9e8a1bd97db9
--- /dev/null
+++ b/.github/workflows/editorconfig.yml
@@ -0,0 +1,22 @@
+name: actions
+
+on:
+  pull_request:
+    branches:
+      - master
+
+jobs:
+  editorconfig:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: technote-space/get-diff-action@v1.2.8
+    - name: editorconfig check
+      env:
+        VERSION: "2.0.4"
+        OS: "linux"
+        ARCH: "amd64"
+      run: |
+        curl -sSf -O -L -C - https://github.com/editorconfig-checker/editorconfig-checker/releases/download/$VERSION/ec-$OS-$ARCH.tar.gz && \
+        tar xzf ec-$OS-$ARCH.tar.gz && \
+        ./bin/ec-$OS-$ARCH -disable-indentation ${{ env.GIT_DIFF }}
-- 
cgit 1.4.1