Skip to content

Document Pi home workspace#124

Merged
aniketmaurya merged 1 commit into
mainfrom
docs/pi-home-workspace
Jul 10, 2026
Merged

Document Pi home workspace#124
aniketmaurya merged 1 commit into
mainfrom
docs/pi-home-workspace

Conversation

@aniketmaurya

Copy link
Copy Markdown
Collaborator

Summary

  • update the Pi guide to use $HOME/workspace
  • document automatic migration from a non-empty legacy /workspace

Companion implementation: CelestoAI/sdk#36

Validation

  • mint validate
  • git diff --check

@aniketmaurya
aniketmaurya merged commit 36e3ed1 into main Jul 10, 2026
1 check passed
@aniketmaurya
aniketmaurya deleted the docs/pi-home-workspace branch July 10, 2026 22:29
@mintlify

mintlify Bot commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
CelestoAI 🔴 Failed Jul 10, 2026, 10:43 PM

💡 Tip: Enable Workflows to automatically generate PRs for you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant