gui.do
pnpm workspace root for Barazo forum development — shared configuration, tooling, and cross-package dependency management
barazo.forum
1name: Mirror to Tangled
2
3on:
4 push:
5 branches: [main]
6
7jobs:
8 mirror:
9 runs-on: ubuntu-latest
10 steps:
11 - uses: actions/checkout@v4
12 with:
13 fetch-depth: 0
14
15 - name: Configure SSH
16 run: |
17 mkdir -p ~/.ssh
18 echo "${{ secrets.TANGLED_SSH_KEY }}" > ~/.ssh/tangled
19 chmod 600 ~/.ssh/tangled
20 cat >> ~/.ssh/config <<EOF
21 Host tangled.org
22 Hostname tangled.org
23 User git
24 IdentityFile ~/.ssh/tangled
25 StrictHostKeyChecking accept-new
26 AddressFamily inet
27 EOF
28
29 - name: Push to Tangled
30 run: |
31 git remote add tangled git@tangled.org:gui.do/${{ github.event.repository.name }}
32 git push tangled main --force