From 4819aa8930d8e878e02903551fff07610e4f7c3d Mon Sep 17 00:00:00 2001
From: Christopher Berge Hove <christopher.hove@bouvet.no>
Date: Thu, 19 Oct 2023 10:20:06 +0200
Subject: [PATCH] fix(gitHub): remove docs workflow

---
 .github/workflows/docs-push.yml | 59 ---------------------------------
 1 file changed, 59 deletions(-)
 delete mode 100644 .github/workflows/docs-push.yml

diff --git a/.github/workflows/docs-push.yml b/.github/workflows/docs-push.yml
deleted file mode 100644
index 2e94be377..000000000
--- a/.github/workflows/docs-push.yml
+++ /dev/null
@@ -1,59 +0,0 @@
-name: Publish to GitHub Pages
-on:
-  workflow_dispatch:
-  push:
-    branches:
-      - main
-    paths:
-      - "documentation/**"
-
-jobs:
-  merge:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: devmasx/merge-branch@v1.3.1
-        with:
-          type: now
-          from_branch: main
-          target_branch: docs
-          github_token: ${{ github.token }}
-
-  generate-docs:
-    runs-on: ubuntu-latest
-    needs: merge
-    defaults:
-      run:
-        working-directory: documentation
-
-    steps:
-      - name: Checkout docs
-        uses: actions/checkout@v3
-        with:
-          ref: docs
-
-      - name: Setup node
-        uses: actions/setup-node@v2
-        with:
-          node-version: "16"
-
-      - name: Install Node Dependencies
-        run: yarn install
-
-      - name: Build project
-        run: |
-          yarn docs:build
-          touch ../docs/.nojekyll
-
-      - name: Config git user
-        run: |
-          git config --global user.name "${{ github.actor }}"
-          git config --global user.email "${{ github.actor }}@users.noreply.github.com"
-
-      - name: Commit changes
-        run: |
-          cd ..
-          echo "!docs/" >> .gitignore
-          git add docs -f
-          git commit -m'docs: updated docs'
-          git push --force