From c13a83cff5a57a69020b935ec7ce74f51ecec7ed Mon Sep 17 00:00:00 2001
From: Jack <bartnikjack@gmail.com>
Date: Sun, 10 Oct 2021 16:40:02 +0100
Subject: [PATCH] removed workflow

---
 .github/workflows/ci.yml | 48 ----------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100644 .github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
deleted file mode 100644
index a8342d90b..000000000
--- a/.github/workflows/ci.yml
+++ /dev/null
@@ -1,48 +0,0 @@
-name: Lint and auto-format PRs
-
-permissions:
-  contents: write
-
-on:
-  pull_request:
-    types: [opened, synchronize]
-
-jobs:
-  lint_and_format:
-    name: Lint and auto-format
-    runs-on: ubuntu-latest
-
-    steps:
-      # Checkout previous commit and then pull, to fetch everything in between
-      - uses: actions/checkout@v2
-        with:
-          ref: ${{github.event.pull_request.base.sha}}
-          repository: ${{github.event.pull_request.head.repo.full_name}}
-      - run: |
-          git pull origin ${{github.event.pull_request.head.ref}} --rebase
-          git checkout ${{github.event.pull_request.head.ref}}
-
-
-
-      - name: Setup Node.js environment
-        uses: actions/setup-node@v2.3.0
-        with:
-         node-version: 14
-         cache: npm
-
-      - name: Install npm dependencies
-        run: npm ci
-
-      - name: Run ESLint
-        run: npx gulp lint
-
-      - name: Run Prettier
-        run: npx pretty-quick --branch ${{github.event.pull_request.base.sha}}
-
-#       - name: Commit and push
-#         run: |
-#           git config user.name "GitHub Actions Bot"
-#           git config user.email "<>"
-#           git add --update
-#           git commit -m "Auto-format with Prettier" || :
-#           git push origin HEAD:${{github.event.pull_request.head.ref}}