.editorconfig: Ignore git folder

Signed-off-by: Boxuan Li <[email protected]>
JanusGraph · Oct 9, 2023 · 84465d8 · 84465d8
1 parent b69778c
commit 84465d8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
@@ -25,3 +25,5 @@ jobs:
       uses: actions/checkout@v4
     - name: Run editorconfig
       uses: docker://mstruebing/editorconfig-checker
+      with:
+        args: ec --exclude .git