Skip to content

Also detect repos that are parents of one of the workspace folders#8005

Merged
alexr00 merged 1 commit intomainfrom
alexr00/married-raccoon
Oct 15, 2025
Merged

Also detect repos that are parents of one of the workspace folders#8005
alexr00 merged 1 commit intomainfrom
alexr00/married-raccoon

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Oct 15, 2025

No description provided.

@alexr00 alexr00 enabled auto-merge (squash) October 15, 2025 10:55
@alexr00 alexr00 self-assigned this Oct 15, 2025
@vs-code-engineering vs-code-engineering bot added this to the October 2025 milestone Oct 15, 2025
@alexr00 alexr00 merged commit 93c545f into main Oct 15, 2025
6 checks passed
@alexr00 alexr00 deleted the alexr00/married-raccoon branch October 15, 2025 11:02
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