From b2ef4a011cb2d14bac02844fc15423b2962cd89c Mon Sep 17 00:00:00 2001 From: bdbch Date: Sun, 31 May 2026 04:47:14 +0200 Subject: [PATCH] try to fix docs build --- .tangled/workflows/pages.yml | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/.tangled/workflows/pages.yml b/.tangled/workflows/pages.yml index b1f9f42..83d7eb8 100644 --- a/.tangled/workflows/pages.yml +++ b/.tangled/workflows/pages.yml @@ -9,7 +9,6 @@ dependencies: - nodejs_24 - pnpm - gnused - - openssh environment: CI: 'true' @@ -26,18 +25,11 @@ steps: - name: 'Push to tangled-pages branch' command: | - # Tangled CI only has origin via HTTPS. Pushes require SSH. - # Extract the repo path from the HTTPS URL and convert to SSH format. - REMOTE_URL=$(git remote get-url origin) - # e.g. https://knot1.tangled.sh/did:plc:.../ → git@tangled.org:did:plc:... - REMOTE_URL="git@tangled.org:${REMOTE_URL#https://*/}" - REMOTE_URL="${REMOTE_URL%/}" cd apps/docs/out - git init - git checkout --orphan tangled-pages + git init --initial-branch=tangled-pages git add -A git config user.name "tangled-bot" git config user.email "bot@tangled.sh" - git commit -m "deploy: ${TANGLED_COMMIT_SHA:-$(date -u +%Y-%m-%dT%H:%M:%SZ)}" - git remote add origin "$REMOTE_URL" + git commit -m "deploy: $TANGLED_SHA" + git remote add origin "$TANGLED_REPO_URL" git push origin tangled-pages --force -- 2.51.2