Skip to content

chore: bump distro - #256614

Merged
Robo (deepak1556) merged 1 commit into
mainfrom
robo/revert_distro
Jul 18, 2025
Merged

Robo (deepak1556) merged 1 commit into
mainfrom
robo/revert_distro

Conversation

@deepak1556

Copy link
Copy Markdown
Collaborator

@deepak1556 Robo (deepak1556) added this to the July 2025 milestone Jul 18, 2025
@deepak1556 Robo (deepak1556) self-assigned this Jul 18, 2025
@deepak1556
Robo (deepak1556) enabled auto-merge (squash) July 18, 2025 00:27
@deepak1556
Robo (deepak1556) merged commit f109cd2 into main Jul 18, 2025
@deepak1556
Robo (deepak1556) deleted the robo/revert_distro branch July 18, 2025 00:55
Osvaldo Ortega (osortega) pushed a commit that referenced this pull request Jul 18, 2025
@vs-code-engineering vs-code-engineering Bot locked and limited conversation to collaborators Sep 1, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants