Skip to content

fix: use record instead of a passthrough object #143

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

Merged
merged 2 commits into from
Apr 28, 2025
Merged

Conversation

gagik
Copy link
Collaborator

@gagik gagik commented Apr 28, 2025

Fixes #139.
Needs additional testing with other editors to ensure a record of unknowns is similarly respected. Tested with Claude.

@gagik gagik requested a review from nirinchev as a code owner April 28, 2025 13:10
@gagik gagik force-pushed the gagik/use-unknown-record branch from 659208a to 263e35d Compare April 28, 2025 13:39
Copy link
Collaborator

@fmenezes fmenezes left a comment

Choose a reason for hiding this comment

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

💯

@nirinchev
Copy link
Collaborator

Something looks wrong with the checks - not sure why GHA hasn't run the workflow.

@gagik gagik force-pushed the gagik/use-unknown-record branch from 263e35d to f67838e Compare April 28, 2025 14:14
@gagik gagik changed the title fix: use record instead of passthrough object fix: use record instead of a passthrough object Apr 28, 2025
@gagik gagik changed the base branch from main to release/vv0.0.5 April 28, 2025 14:29
@gagik gagik changed the base branch from release/vv0.0.5 to main April 28, 2025 14:29
@gagik gagik requested a review from a team as a code owner April 28, 2025 14:30
@gagik gagik force-pushed the gagik/use-unknown-record branch from 261a0a0 to e839c6b Compare April 28, 2025 14:31
@gagik gagik force-pushed the gagik/use-unknown-record branch from c073ae7 to e839c6b Compare April 28, 2025 14:52
@gagik gagik merged commit cdf992f into main Apr 28, 2025
40 checks passed
@gagik gagik deleted the gagik/use-unknown-record branch April 28, 2025 14:56
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.

Can't use MCP server in VSCode
4 participants