name: Mirror to Tangled

on:
  push:
    branches: [main]

jobs:
  mirror:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0

      - name: Configure SSH
        run: |
          mkdir -p ~/.ssh
          echo "${{ secrets.TANGLED_SSH_KEY }}" > ~/.ssh/tangled
          chmod 600 ~/.ssh/tangled
          cat >> ~/.ssh/config <<EOF
          Host tangled.org
            Hostname tangled.org
            User git
            IdentityFile ~/.ssh/tangled
            StrictHostKeyChecking accept-new
            AddressFamily inet
          EOF

      - name: Push to Tangled
        run: |
          git remote add tangled git@tangled.org:gui.do/${{ github.event.repository.name }}
          git push tangled main --force