Repository navigation
GitHub Workspace
Features / GitHub Workspace
The GitHub Workspace embeds full-lifecycle issue tracking, pull request management, and autonomous subagent execution monitoring directly into the Antigravity developer environment.
The core of the GitHub Workspace is an interactive Kanban board that bridges remote GitHub project management with local development branches:
-
Configurable Workflow Columns: Organizes work items into five default stages:
Backlog,Ready,In Progress,In Review, andDone. - Drag-and-Drop Column Reassignment: Moving an issue or pull request card across columns updates its local status and synchronizes labels with upstream GitHub repositories.
- Unified Card Representation: Renders GitHub issues, pull requests, and local agent tasks with status badges, assignee avatars, branch names, and label tags.
When Antigravity spawns background subagents to tackle specific programming tasks, the GitHub Workspace tracks execution progress in real time:
- Agent Task Mapping: Associates individual subagent execution threads directly with corresponding GitHub issue numbers or branch names.
- Active vs Completed States: Filters the board to show actively running subagent threads or historical runs.
- Direct Conversation Deep-Linking: Clicking an agent card immediately switches the main stage to the exact Antigravity conversation thread driving that subagent's execution, closing the gap between task management and prompt interaction.
Developers can manage repository workflows without switching to a web browser:
- Issue Creation & Updates: Creates new issues with titles, markdown descriptions, milestone assignments, and tags directly from the workspace header.
- Comment Posting: In-line discussion thread viewer allowing developers to post comments and feedback on active pull requests.
- Branch Management: Displays branch names associated with each card, facilitating fast checkouts and git diff inspections.
- Context Menu Actions: Right-clicking cards provides one-click shortcuts to copy branch names, reassign column status, navigate to conversation threads, or open the item on GitHub in the default browser.
All board states, column mappings, and cached issue metadata are stored in pkg/github daemon state files (github_workspace.json). Changes made offline are queued and synchronized automatically as soon as GitHub API connectivity is verified.