mirror of
https://github.com/martinvonz/jj.git
synced 2025-05-24 16:41:11 +00:00
This patch makes it so the workspace ID can be stored in `.jj/working_copy/checkout`. The workspace ID is still always "default".
This patch makes it so the workspace ID can be stored in `.jj/working_copy/checkout`. The workspace ID is still always "default".