Skip to content

Delete the master/main renaming script#16304

Merged
premun merged 2 commits intomainfrom
premun-patch-1
Nov 13, 2025
Merged

Delete the master/main renaming script#16304
premun merged 2 commits intomainfrom
premun-patch-1

Conversation

@premun
Copy link
Member

@premun premun commented Nov 13, 2025

No description provided.

@premun premun merged commit f7629bd into main Nov 13, 2025
6 of 10 checks passed
@premun premun deleted the premun-patch-1 branch November 13, 2025 18:26
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