-
Notifications
You must be signed in to change notification settings - Fork 210
Basic workspace support #1194
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Basic workspace support #1194
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
💡 Codex Review
Here are some automated review suggestions for this pull request.
ℹ️ About Codex in GitHub
Codex has been enabled to automatically review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
When you sign up for Codex through ChatGPT, Codex can also answer questions or update the PR, like "@codex address that feedback".
fe107eb to
0be0a65
Compare
b808912 to
a4d35d7
Compare
2b7263e to
109cf36
Compare
|
@g-r-a-n-t Just a quick tip, I see that you assigned us but better to pick us from the "Reviewers" box as that will trigger the proper ask for review process that you probably meant to use. |
cburgdorf
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This looks very solid to me. A minor complain (which I haven't actually verified) would be that the approach for updating the TOML file most likely evaporates all existing comments of that TOML file but I don't think that has to be addressed as part of this PR.
Great work!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Copilot encountered an error and was unable to review this pull request. You can try again by re-requesting a review.
Yeah, that's a problem. I've been having second thoughts about that feature and might just remove it in a small followup PR. |
Adds support for ingot workspaces.