From 22c4dca771b03e726540d32c9512b1c182d1eb3d Mon Sep 17 00:00:00 2001
From: David Gubler <david.gubler@vshn.ch>
Date: Mon, 29 Aug 2022 13:30:03 +0200
Subject: [PATCH] Remove "docs" workflow

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
deleted file mode 100644
index d7da17f..0000000
--- a/.github/workflows/docs.yml
+++ /dev/null
@@ -1,82 +0,0 @@
-name: Docs
-
-on:
-  push:
-    branches:
-      - master
-    tags:
-      - "*"
-
-jobs:
-  antora:
-    runs-on: ubuntu-latest
-    if: ${{ contains(github.ref, 'tags') }}
-    steps:
-    - uses: actions/checkout@v3
-      with:
-        fetch-depth: 0
-    - name: Configure Git
-      run: |
-        git config user.name "Antora via GitHub Actions"
-        git config user.email "actions@github.com"
-
-    - name: Parse semver string
-      id: semver
-      uses: booxmedialtd/ws-action-parse-semver@v1
-      with:
-        input_string: ${{ github.ref }}
-        version_extractor_regex: '\/v(.*)$'
-    - name: Set variables
-      run: |
-        echo "MINOR_VERSION=${{ steps.semver.outputs.major }}.${{ steps.semver.outputs.minor }}" >> $GITHUB_ENV
-        echo "BRANCH_NAME=docs/v${{ steps.semver.outputs.major }}.${{ steps.semver.outputs.minor }}" >> $GITHUB_ENV
-    - name: Set branch name for Prerelease
-      if: ${{ steps.semver.outputs.prerelease != '' }}
-      run: echo "BRANCH_NAME=${{ env.BRANCH_NAME }}-rc" >> $GITHUB_ENV
-
-    - name: Checkout remote branch if exists
-      run: git checkout ${{ env.BRANCH_NAME }}
-      continue-on-error: true
-    - name: Rebase if possible
-      run: git rebase ${GITHUB_REF##*/} ${{ env.BRANCH_NAME }}
-      continue-on-error: true
-    - name: Create new branch if not existing
-      run: git switch --create ${{ env.BRANCH_NAME }}
-      continue-on-error: true
-
-    - name: Patch Antora file for Release
-      run: yq eval 'del(.prerelease) | del (.display_version) | .version = "${{ env.MINOR_VERSION }}"' -i docs/antora.yml
-      if: ${{ steps.semver.outputs.prerelease == '' }}
-    - name: Patch Antora file for Prerelease
-      run: yq eval 'del (.display_version) | .version = "${{ env.MINOR_VERSION }}", .prerelease = "-${{ steps.semver.outputs.prerelease }}"' -i docs/antora.yml
-      if: ${{ steps.semver.outputs.prerelease != '' }}
-
-    - name: Commit
-      run: git commit --all --message "Update version for Antora"
-      continue-on-error: true
-    - name: Push
-      run: git push --atomic --force --set-upstream origin ${{ env.BRANCH_NAME }}
-
-    - name: Cleanup prerelease branch if existing
-      if: ${{ steps.semver.outputs.prerelease == '' }}
-      run: git push origin --delete ${{ env.BRANCH_NAME }}-rc
-      continue-on-error: true
-
-  gh-pages:
-    runs-on: ubuntu-latest
-    # The needs+if combo will cause this job to wait until Antora versioning is done for tags, but still run on master branch
-    needs: antora
-    if: always()
-    steps:
-    - uses: actions/checkout@v3
-      with:
-        fetch-depth: 0
-
-    - name: Configure Git
-      run: |
-        git remote set-url origin "https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}"
-        git config user.name "Antora via GitHub Actions"
-        git config user.email "actions@github.com"
-
-    - name: Publish documentation
-      run: make docs-publish