Skip to content

Files & Git

  • Navigate a tree under the workspace root.
  • Read and write file contents (from dedicated routes or from session side panels).
  • Status across the workspace: changed files and ahead counts; multiple repositories under one workspace are supported where applicable.
  • Diff per file.
  • Commit with a message; optionally limit to specific files or a repo.
  • Push, optionally scoped to a repository.

Global Git identity defaults live in Settings; workspaces may override name/email for their operations.

SSH: For pushes from Docker (or any deployment where HOME is the config volume), the server generates an SSH keypair on startup and uses it for Git over SSH. Register the public key from Settings → Git on your Git host and use SSH remote URLs (not HTTPS) so pushes authenticate correctly.

  • Workspaces — path boundaries
  • Rules — often live alongside repo content