From 5d8033343fd31963286395b009fa7ff0b18ee461 Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@kastelo.net>
Date: Mon, 11 Aug 2025 21:15:13 +0200
Subject: [PATCH] chore: repo mirror job

---
 .github/workflows/mirrors.yaml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 .github/workflows/mirrors.yaml

diff --git a/.github/workflows/mirrors.yaml b/.github/workflows/mirrors.yaml
new file mode 100644
index 000000000..ffc60592e
--- /dev/null
+++ b/.github/workflows/mirrors.yaml
@@ -0,0 +1,18 @@
+name: Mirrors
+
+on: [push, delete]
+
+jobs:
+  codeberg:
+    name: Mirror to Codeberg
+    if: github.repository_owner == 'syncthing'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - uses: yesolutions/mirror-action@master
+        with:
+          REMOTE: ssh://git@codeberg.org/${{ github.repository }}.git
+          GIT_SSH_PRIVATE_KEY: ${{ secrets.CODEBERG_PUSH_KEY }}
+          GIT_SSH_NO_VERIFY_HOST: "true"