- It'd be great to change the default branch used for creating new workspaces.
- I'd like the ability to add custom tools to the "Open in..." menu.
> It'd be great to change the default branch used for creating new workspaces. Yeah you can actually change this now! If you click the repo name you can make changes to the "setup script". If you added `git checkout -b "branch name"` it would run that on every new workspace instance.
orig_branch=$(git branch --show-current) && git checkout dev && git pull && git branch -D "$orig_branch" && git checkout -b "$orig_branch"
jamil7•3h ago