Martin von Zweigbergk 0098edd3d2 op_store: add support for tracking multiple workspaces (#13) ... This patch teaches the `View` object to keep track of the checkout in each workspace. It serializes that information into the `OpStore`. For compatibility with existing repos, the existing field for a single workspace's checkout is interpreted as being for the workspace called "default". This is just an early step towards support for multiple workspaces. Remaining things to do: * Record the workspace ID somewhere in `.jj/` (maybe in `.jj/working_copy/`) * Update existing code to use the workspace ID instead of assuming it's always "default" as we do after this patch * Add a way of indicating in `.jj/` that the repo lives elsewhere and make it possible to load a repo from such workspaces * Add a command for creating additional workspaces * Show each workspace's checkout in log output		2022-02-02 08:15:22 -08:00
..
op_store.proto	op_store: add support for tracking multiple workspaces (#13)	2022-02-02 08:15:22 -08:00
store.proto	backend: remove unused Commit::is_pruned (#32)	2021-10-06 23:53:15 -07:00
working_copy.proto	working_copy: keep track of operation ID (#13)	2022-01-19 19:15:29 -08:00