Module workspace 

Naming the workspace a client is in.

The default is the normalized git remote, so two harnesses in one checkout agree without either being told. Asking git is the only I/O here; the rule it feeds lives in packset_core::identity.

Functions

git_remote

git remote get-url origin at cwd, or nothing.

identity

The identity record for one client.

resolve

The workspace name for a directory under one strategy.

user_peer

The peer name for the person at the seat.