Rename or remove a project

Three different operations that people reach for interchangeably, with genuinely different consequences.

Rename, hide, remove#

Rename
Changes the short name you refer to the project by. The repository and its history are untouched.
Hide
Drops it out of the default project list without removing anything. It can be listed with everything else, and unhidden later.
Remove
Takes the project out of the registry. It prompts for confirmation unless you say otherwise.

All three exist on all three surfaces

Command line, dashboard and Telegram. An affordance that exists in only one place is treated as unfinished in this codebase, not as a shortcut.

GuidesAdd a projectAdding a repository is three short steps, and the third one is the one people skip. Indexing is what makes the difference between a planner that knows your codebase and one that is reading it for the first time every run.SurfacesThe local dashboardServed locally, from the machine the engine is already running on. It is where the onboarding wizard lives and where a long run is worth watching.