Documentation
Settings
Settings behave differently depending on where you open them: global defaults from setup, workspace-scoped options once a project is open.
Context rules
- Inside an open workspace · Settings → Git shows that workspace’s git identity, auto-fetch, and branch protection.
- Select-workspace / setup Settings · Settings → Git shows the global default git identity and sync defaults for every workspace.
- Settings → Workspaces · Manage each workspace’s path, run scripts, and danger-zone delete.
Settings tabs: General · Git · Workspaces.
Global settings
| Setting | Default | Notes |
|---|---|---|
| Git username / email | empty | Global author fallback; applied to the active repo on save |
| Default branch | main | Upstream comparison fallback |
| Auto-fetch interval | 5 minutes | 0 (never), 1, 5, or 15 · also requires per-workspace auto-fetch on |
| Terminal shell | zsh | zsh / bash / fish / sh |
| Show hidden files | on | Dotfiles in the file tree |
| Accent color | default | Themes: default, emerald, royal, sunset |
Per-workspace profile
- Display name, workspace path, and type (cloned vs local)
- Branch protection (on by default) and
protectedBranches(plus main/master) - Auto-fetch toggle (on by default)
- Port,
runCommand, andbuildCommand - Workspace-scoped git identity from Settings → Git
Deleting a workspace
Danger zone delete removes the OmniSync profile only. Files on disk and your GitHub sign-in remain. Deleting a non-active workspace stays in Settings; deleting the active one returns you to workspace selection.