gitshark

Clone repository

git clone https://gitshark.de/git/workaround/Gitshark.git
git clone git@gitshark.de:workaround/Gitshark.git

← Commits

🔥 Remove mirror workflow

02b71d4e3cfa828a471a4ed98e79fac00020f6e7 · Michael Hainz · 2026-07-09T11:15:01Z

Changes

1 file changed, +0 -26

DELETE .github/workflows/mirror.yml +0 -26
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
deleted file mode 100644
index 600171f..0000000
--- a/.github/workflows/mirror.yml
+++ /dev/null
@@ -1,26 +0,0 @@
1 -name: Mirror
2 -
3 -on:
4 - push:
5 - branches:
6 - - main
7 - workflow_dispatch:
8 -
9 -jobs:
10 - mirror:
11 - runs-on: ubuntu-latest
12 - permissions:
13 - contents: read
14 - steps:
15 - - uses: actions/checkout@v7
16 - with:
17 - fetch-depth: 0
18 - - name: Push to GitShark
19 - env:
20 - GITSHARK_TOKEN: ${{ secrets.GITSHARK_TOKEN }}
21 - run: |
22 - git remote set-head origin -d
23 - git push --force --prune \
24 - "https://token:${GITSHARK_TOKEN}@gitshark.ha1nz.de/git/miggi/GitShark.git" \
25 - 'refs/remotes/origin/*:refs/heads/*' \
26 - 'refs/tags/*:refs/tags/*'

Keyboard shortcuts

?Show this help
g hGo home
EscClose dialog