Delete .github/workflows directory

.github/workflows/mirror.yml

@@ -1,24 +0,0 @@
-name: Mirror to Gitea
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  mirror:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Remove old repo folder
-        run: rm -rf repo
-
-      - name: Clone repo as mirror
-        run: git clone --mirror https://github.com/Hobbabobba/keyserver.git repo
-
-      - name: Push to Gitea
-        env:
-          GITEA_USER: ${{ secrets.GITEA_USER }}
-          GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }}
-        run: |
-          cd repo
-          git remote set-url origin https://${GITEA_USER}:${GITEA_TOKEN}@git.nauheimtech.de/StefanMewes/keyserver.git
-          git push --mirror