chore: repo mirror job

2025-08-11 22:16:10 +02:00
parent c74d2a9872
commit 5d8033343f
1 changed files with 18 additions and 0 deletions
@@ -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"