Skip to content

[pull] main from microsoft:main#1186

Merged
pull[bot] merged 2 commits intocode:mainfrom
microsoft:main
Apr 26, 2026
Merged

[pull] main from microsoft:main#1186
pull[bot] merged 2 commits intocode:mainfrom
microsoft:main

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented Apr 26, 2026

See Commits and Changes for more details.


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

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

bhavyaus and others added 2 commits April 26, 2026 11:39
…ial context (#312577)

Move deferred tool list out of system prompt for cache hit rate
* PromptsService: remove 'when' from APIs

* update

Co-authored-by: Copilot <copilot@github.com>

---------

Co-authored-by: Copilot <copilot@github.com>
@pull pull Bot locked and limited conversation to collaborators Apr 26, 2026
@pull pull Bot added the ⤵️ pull label Apr 26, 2026
@pull pull Bot merged commit d816eba into code:main Apr 26, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants