How to recover the default workspace

[chawyehsu]

I accidentally deleted the default workspace by running jj workspace forget outside of temp workspaces.

I've tried with jj workspace add --name default . in the repo root, got Error: Destination path exists and is not an empty directory.

I'm trying out the workspace, not quite used to it. What's the safe way to recover?

[yuja]

Try jj undo or jj op log + jj op restore <OP_BEFORE_FORGET_WORKSPACE>.

[chawyehsu]

Thanks, I realized that how undo and op restore is powerful and I should have used it more to build up my mental model, so I don't get bogged down in jj workspace subcommands.