Skip to content

Add a missing prs list refresh#7084

Merged
alexr00 merged 5 commits intomainfrom
alexr00/adorable-caterpillar
Jun 26, 2025
Merged

Add a missing prs list refresh#7084
alexr00 merged 5 commits intomainfrom
alexr00/adorable-caterpillar

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Jun 25, 2025

plus a little bit of refactoring

plus a little bit of refactoring
@alexr00 alexr00 self-assigned this Jun 25, 2025
@alexr00 alexr00 enabled auto-merge (squash) June 25, 2025 17:11
@vs-code-engineering vs-code-engineering Bot added this to the June 2025 milestone Jun 25, 2025
sandy081
sandy081 previously approved these changes Jun 25, 2025
sandy081
sandy081 previously approved these changes Jun 26, 2025
@alexr00 alexr00 merged commit 215e0b6 into main Jun 26, 2025
3 checks passed
@alexr00 alexr00 deleted the alexr00/adorable-caterpillar branch June 26, 2025 09:19
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