👷 (ci): Mirror repository to gitshark.ha1nz.de on every push
Changes
2 files changed, +30 -2
ADD
.github/workflows/mirror.yml
+24 -0
@@ -0,0 +1,24 @@
1
+name: Mirror
2
+
3
+on:
4
+ push:
5
+ workflow_dispatch:
6
+
7
+jobs:
8
+ mirror:
9
+ runs-on: ubuntu-latest
10
+ permissions:
11
+ contents: read
12
+ steps:
13
+ - uses: actions/checkout@v7
14
+ with:
15
+ fetch-depth: 0
16
+ - name: Push to GitShark
17
+ env:
18
+ GITSHARK_TOKEN: ${{ secrets.GITSHARK_TOKEN }}
19
+ run: |
20
+ git remote set-head origin -d
21
+ git push --force --prune \
22
+ "https://token:${GITSHARK_TOKEN}@gitshark.ha1nz.de/git/miggi/GitShark.git" \
23
+ 'refs/remotes/origin/*:refs/heads/*' \
24
+ 'refs/tags/*:refs/tags/*'
MODIFY
README.md
+6 -2
@@ -124,5 +124,9 @@
124
124
125
125
## CI
126
126
127
-`.github/workflows/ci.yml`: JVM tests on every push/PR; native build + integration tests
128
-gate main-branch builds.
127
+- `.github/workflows/jvm.yml` — JVM tests on every push/PR; on main, builds and pushes the
128
+ JVM container image to GHCR.
129
+- `.github/workflows/native.yml` — native build + integration tests on every push/PR.
130
+- `.github/workflows/mirror.yml` — mirrors all branches and tags to
131
+ `https://gitshark.ha1nz.de/git/miggi/GitShark.git` on every push (force + prune; auth via
132
+ `GITSHARK_TOKEN` repository secret holding a GitShark access token).