๐ŸŒ mirroring test!
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

ci: add GitHub Actions workflow to mirror repo to Tangled

This workflow mirrors the repository to Tangled on push to the main branch or via manual trigger.

authored by

TAKAHASHI Shuuji and committed by
GitHub
6f01305c 0f6044f9

+28
+28
.github/workflows/mirror-repo-to-tangled.yaml
··· 1 + name: Mirror repo to Tangled 2 + 3 + on: 4 + push: 5 + branches: [ main ] 6 + workflow_dispatch: 7 + 8 + jobs: 9 + mirror: 10 + runs-on: ubuntu-latest 11 + steps: 12 + - name: Checkout code 13 + uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1 14 + with: 15 + fetch-depth: 0 # fetch full git history 16 + 17 + - name: Setup SSH 18 + run: | 19 + mkdir -p ~/.ssh 20 + echo "${{ secrets.TANGLED_MIRROR_KEY }}" > ~/.ssh/id_ed25519 21 + chmod 600 ~/.ssh/id_ed25519 22 + ssh-keyscan tangled.org >> ~/.ssh/known_hosts 23 + 24 + - name: Push to Tangled 25 + run: | 26 + git remote add tangled git@tangled.org:shuuji3.xyz/www 27 + git push tangled --all --force 28 + git push tangled --tags --force