Skip to content

move preferredCodingAgentGitHubRemote action to overflow menu#7742

Merged
joshspicer merged 1 commit intomainfrom
joshspicer/preferredCodingAgentGitHubRemote
Sep 3, 2025
Merged

move preferredCodingAgentGitHubRemote action to overflow menu#7742
joshspicer merged 1 commit intomainfrom
joshspicer/preferredCodingAgentGitHubRemote

Conversation

@joshspicer
Copy link
Copy Markdown
Member

No description provided.

@joshspicer joshspicer enabled auto-merge (squash) September 2, 2025 23:51
@vs-code-engineering vs-code-engineering Bot added this to the August 2025 milestone Sep 2, 2025
@joshspicer joshspicer merged commit f31968e into main Sep 3, 2025
3 checks passed
@joshspicer joshspicer deleted the joshspicer/preferredCodingAgentGitHubRemote branch September 3, 2025 00:12
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.

2 participants