Skip to content

Add back confirmation for reading active pr tool#7504

Merged
alexr00 merged 2 commits intomainfrom
alexr00/parental-xerinae
Aug 4, 2025
Merged

Add back confirmation for reading active pr tool#7504
alexr00 merged 2 commits intomainfrom
alexr00/parental-xerinae

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Aug 4, 2025

No description provided.

@alexr00 alexr00 enabled auto-merge (squash) August 4, 2025 15:17
@alexr00 alexr00 self-assigned this Aug 4, 2025
@vs-code-engineering vs-code-engineering Bot added this to the August 2025 milestone Aug 4, 2025
Tyriar
Tyriar previously approved these changes Aug 4, 2025
@Tyriar
Copy link
Copy Markdown
Contributor

Tyriar commented Aug 4, 2025

@alexr00 conflict

@alexr00 alexr00 merged commit fea9a13 into main Aug 4, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/parental-xerinae branch August 4, 2025 16:54
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.

3 participants