Projects group workspaces that share the same Git remote origin. When you create a workspace from a repository, Mains checks whether a project already exists for that remote — if it does, the workspace is added to it. Otherwise, a new project is created automatically.Documentation Index
Fetch the complete documentation index at: https://docs.mains.dev/llms.txt
Use this file to discover all available pages before exploring further.
How Projects Work
A project represents a single codebase. All workspaces created from the same repository (or a fork with the same remote origin) belong to the same project. This gives you a high-level view of all the work happening across your repo.| Field | Description |
|---|---|
| Name | Derived from the repository name, editable |
| Remote origin | The Git remote URL that identifies the project |
| Workspaces | All workspaces linked to this project |
Project-Level Settings
Projects can have their own configuration that applies to all workspaces within:- Setup script — runs automatically when a new workspace is created in this project
- Run script — executes before each agent run
- Archive script — runs when a workspace in this project is archived
- Commit instructions — template for commit messages
- PR instructions — template for pull request descriptions
Managing Projects
Projects are created automatically but can be managed from Settings:- Rename — update the project name
- Archive — hide the project and all its workspaces from the sidebar
- Delete — permanently remove the project and unlink its workspaces