Skip to content

Refactor/dev namespaces#79

Merged
bplatz merged 8 commits intomainfrom
refactor/dev-namespaces
Jul 25, 2024
Merged

Refactor/dev namespaces#79
bplatz merged 8 commits intomainfrom
refactor/dev-namespaces

Conversation

@bplatz
Copy link
Contributor

@bplatz bplatz commented Jul 24, 2024

This replaces #77 based on the new config feature. It is based on top of #78.

This

  • adds some REPL tools to the user namespace
  • has a working single-server RAFT config with simple user ns startup
  • Adjusts some of our default settings to be more reasonable (open to debate)
  • Fixes http-api call dev namespace
  • excludes dev/data director in .gitignore, and dev namespaces now by default write data to that directory

@bplatz bplatz requested a review from a team July 24, 2024 20:37
@bplatz bplatz changed the base branch from main to feature/user-config July 24, 2024 21:00
Base automatically changed from feature/user-config to main July 24, 2024 21:41
Copy link
Contributor

@zonotope zonotope left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@bplatz bplatz merged commit 3c1c41e into main Jul 25, 2024
@bplatz bplatz deleted the refactor/dev-namespaces branch July 25, 2024 09:59
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.

2 participants