Skip to content

polish tool picker#243560

Merged
jrieken merged 1 commit intomainfrom
joh/yelling-penguin
Mar 14, 2025
Merged

polish tool picker#243560
jrieken merged 1 commit intomainfrom
joh/yelling-penguin

Conversation

@jrieken
Copy link
Copy Markdown
Member

@jrieken jrieken commented Mar 14, 2025

  • reset selected tools for new chat
  • honor selected tools on subsequent pick

* reset selected tools for new chat
* honor selected tools on subsequent pick
@jrieken jrieken self-assigned this Mar 14, 2025
@jrieken jrieken enabled auto-merge (squash) March 14, 2025 13:02
@vs-code-engineering vs-code-engineering bot added this to the March 2025 milestone Mar 14, 2025
@jrieken jrieken merged commit 877af02 into main Mar 14, 2025
8 checks passed
@jrieken jrieken deleted the joh/yelling-penguin branch March 14, 2025 13:16
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Apr 28, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants