Skip to content

challenging to get agent mode to use active PR tool#6859

Merged
alexr00 merged 1 commit intomainfrom
alexr00/issue6851
Apr 29, 2025
Merged

challenging to get agent mode to use active PR tool#6859
alexr00 merged 1 commit intomainfrom
alexr00/issue6851

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Apr 29, 2025

Fixes #6851

@alexr00 alexr00 self-assigned this Apr 29, 2025
@alexr00 alexr00 enabled auto-merge (squash) April 29, 2025 07:58
@vs-code-engineering vs-code-engineering Bot added this to the April 2025 milestone Apr 29, 2025
@alexr00 alexr00 merged commit 9dac004 into main Apr 29, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/issue6851 branch April 29, 2025 08:31
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.

challenging to get agent mode to use active PR tool

2 participants