Skip to content

[pull] main from microsoft:main #154

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 11 commits into from
Jun 25, 2025
Merged

[pull] main from microsoft:main #154

merged 11 commits into from
Jun 25, 2025

Conversation

pull[bot]
Copy link

@pull pull bot commented Jun 25, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.1)

Can you help keep this open source service alive? 💖 Please sponsor : )

sandy081 and others added 11 commits June 25, 2025 00:42
* Fix mcp server uri handling

* feedback and some fixes
…request edits (#252352)

* fix edits in inline/quick chat and better overlay

* add missing function

* remove x from inline edit
We didn't preserve any ongoing `postEdit` changes when pushing a new
undo stop, which caused issues.

Closes #249829

Also fixes a bug where the diff stats weren't displayed at all, but
I cannot seem to find the issue for that.
* fix mcp servers welcome view

* simplify description
Also fixes up some localized strings for consistency
* fix background color on code block

* wrong selector
* fix chat edits input resize

* remove left border
…52257)

* Include session id with LanguageModelToolInvocationPrepareOptions

* Fix random token change from copilot
* initial frame

* simple system working

* wired up history

* restore css

* restore

* comment

* Add and implement ChatSummarizer from proposed. defaultChatParticipant.d.ts (microsoft/vscode-copilot#18919)

* remove demo extension

* tidy
@pull pull bot added the ⤵️ pull label Jun 25, 2025
@pull pull bot merged commit cf75ff5 into code:main Jun 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants