Skip to content

Hotfix drop cli checkpointing local - #279

Open
mikegros wants to merge 2 commits into
mainfrom
hotfix_drop_CLI_checkpointing_local
Open

Hotfix drop cli checkpointing local#279
mikegros wants to merge 2 commits into
mainfrom
hotfix_drop_CLI_checkpointing_local

Conversation

@mikegros

Copy link
Copy Markdown
Collaborator

Removing the automatic placement of checkpointing in a users workspace if they dont choose a persistent agent name.

Two advantages:

  • It makes persistence be a choice in one place (name or no name)
  • Removes workspace clutter (dumping database files in a users workspace).

Only drawback is it changes legacy behavior (if any users are used to being able to point at the same workspace and continue work in that workspace without having to specify an agent name)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant