From 062db18a1535cca3c5d4c76722c7a3c0af02a267 Mon Sep 17 00:00:00 2001
From: Wolfgang Hoenig <hoenig@tu-berlin.de>
Date: Wed, 12 Jun 2024 12:14:35 +0200
Subject: [PATCH] remove legacy deployment

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

diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
deleted file mode 100644
index 51a4bd4..0000000
--- a/.github/workflows/github-pages.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Build and deploy Jekyll site to GitHub Pages
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  github-pages:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/cache@v2
-        with:
-          path: vendor/bundle
-          key: ${{ runner.os }}-gems-${{ hashFiles('**/Gemfile') }}
-          restore-keys: |
-            ${{ runner.os }}-gems-
-      - uses: helaili/jekyll-action@v2
-        with:
-          pre_build_commands: git config --global http.version HTTP/1.1; apk fetch git-lfs;
-          token: ${{ secrets.GITHUB_TOKEN }}
-          target_branch: 'gh-pages'