From e9a423ca667cb66f770e22be645b324a032c7c4f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20L=C3=BCck?= <christian.lueck@uni-muenster.de>
Date: Thu, 19 Dec 2024 13:25:31 +0100
Subject: [PATCH] removed old pipeline for publishing the descriptor on pages

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

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
deleted file mode 100644
index 6c72e06..0000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,41 +0,0 @@
-name: Update github pages
-on:
-  push:
-    tags:
-      - "[0-9]+.[0-9]+.[0-9]+"
-
-jobs:
-  deploy:
-    runs-on: ubuntu-latest
-    concurrency:
-      group: ${{ github.workflow }}-${{ github.ref }}
-    steps:
-      - uses: actions/checkout@v2
-
-      - name: Set up JDK 11
-        uses: actions/setup-java@v2
-        with:
-          java-version: '11'
-          distribution: 'adopt'
-          cache: maven
-
-      - name: run maven to get ediarum
-        run: mvn --batch-mode --update-snapshots generate-sources
-
-      - name: run maven
-        run: mvn --batch-mode --update-snapshots package
-
-      - name: create directory for github pages
-        run: mkdir -p public
-
-      - name: copy descriptor file
-        run: cp target/generated-resources/xml/xslt/pom.xml public/descriptor.xml
-
-      - name: copy index.html
-        run: cp pages/index.html public/index.html
-
-      - name: Deploy descriptor file on Github pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./public