Skip to content

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented Aug 14, 2025

Fixes #7534

@alexr00 alexr00 enabled auto-merge (squash) August 14, 2025 22:02
@alexr00 alexr00 self-assigned this Aug 14, 2025
@vs-code-engineering vs-code-engineering bot added this to the August 2025 milestone Aug 14, 2025
@alexr00 alexr00 merged commit 3c09205 into main Aug 14, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/issue7534 branch August 14, 2025 22:09
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.

Allows me to believe I assigned an issue on a repo where I lack that permission

3 participants