Skip to content

Remove unused fields from Completion response interface#123

Merged
alexdima merged 1 commit intomicrosoft:mainfrom
devm33:devm33/remove-unused-metadata
Jul 7, 2025
Merged

Remove unused fields from Completion response interface#123
alexdima merged 1 commit intomicrosoft:mainfrom
devm33:devm33/remove-unused-metadata

Conversation

@devm33
Copy link
Contributor

@devm33 devm33 commented Jul 4, 2025

No description provided.

@alexdima alexdima enabled auto-merge July 7, 2025 06:21
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 7, 2025
@alexdima alexdima added this pull request to the merge queue Jul 7, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 7, 2025
@alexdima alexdima added this pull request to the merge queue Jul 7, 2025
Merged via the queue into microsoft:main with commit e122208 Jul 7, 2025
6 checks passed
@devm33 devm33 deleted the devm33/remove-unused-metadata branch July 7, 2025 14:24
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.

3 participants