marvin8/ai-coding-box
Watch
1
0
Fork
You've already forked ai-coding-box
 0
Code Issues 1 Pull requests Activity Actions

Document forge-pi SSH alias in post-install runbook #9

Manually merged
marvin8 merged 1 commit from docs/forge-pi-alias into main 2026-09-07 03:33:10 +00:00
Conversation 1 Commits 1 Files changed 2 +36 -6
agent-pi commented 2026-09-07 03:29:06 +00:00
Collaborator
Copy link

The installer clone starts as HTTPS (no push access) and the box needs the forge-pi SSH alias before git push works. INSTALL.md step 16 now sequences post-install provisioning explicitly (forge key → forge-pi alias with the fish-safe setup block → agent files → SETUP §6–7), and SETUP.md §7 notes its dependency on the alias. Found while provisioning the real box.

The installer clone starts as HTTPS (no push access) and the box needs the forge-pi SSH alias before git push works. INSTALL.md step 16 now sequences post-install provisioning explicitly (forge key → forge-pi alias with the fish-safe setup block → agent files → SETUP §6–7), and SETUP.md §7 notes its dependency on the alias. Found while provisioning the real box.
📝 docs: forge-pi SSH alias setup in post-install runbook
All checks were successful
ci / gitleaks (pull_request) Successful in 12s
Details
6c93945afa
 
Step 16 now sequences provisioning explicitly (forge key → forge-pi alias →
agent files → verification) with the fish-safe alias block, and SETUP.md §7
notes its dependency on the alias.
marvin8 approved these changes 2026-09-07 03:32:49 +00:00
marvin8 manually merged commit e9b45b87ca into main 2026-09-07 03:33:10 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
marvin8
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Assignees
Clear assignees
No assignees
2 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Reference
marvin8/ai-coding-box!9
No description provided.