Remove dotfiles mirroring

.github/workflows/mirror.yml

@@ -1,30 +0,0 @@
-name: mirror to dotfiles
-
-on:
-  push:
-    branches:
-    - main
-
-jobs:
-  mirror:
-    name: mirror to dotfiles
-    runs-on: ubuntu-latest
-    steps:
-    - uses: actions/checkout@v2
-      with:
-        ref: ${{ github.head_ref }}
-        fetch-depth: 0
-    - name: load ssh key
-      env:
-        SSH_AUTH_SOCK: /tmp/ssh_agent.sock
-      run: |
-        ssh-agent -a $SSH_AUTH_SOCK > /dev/null
-        ssh-add - <<< "${{ secrets.MIRROR_SSH_PRIVATE_KEY }}"
-    - name: add remote and push
-      env:
-        SSH_AUTH_SOCK: /tmp/ssh_agent.sock
-      run: |
-        git remote add mirror git@github.com:serverwentdown/dotfiles.git
-        git push -f mirror main
-
-# vim: set et ts=2 sw=2: