Archiving a workspace

Put a workspace aside without destroying anything — what archiving does, and what it does not get you out of.

Archiving hides a workspace without destroying anything: its listings leave the directory, and its history stays intact. It is the right move for something you have finished with but might want to look at again.

It is reversible. What it is not is a way to escape an obligation — deals already under way still exist, and still need finishing.