Skip to content

Merge main into live#12716

Merged
gewarren merged 5 commits into
livefrom
main
Jun 5, 2026
Merged

Merge main into live#12716
gewarren merged 5 commits into
livefrom
main

Conversation

@dotnet-policy-service

Copy link
Copy Markdown
Contributor

Please don't squash-merge this PR.

@github-actions github-actions Bot added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jun 5, 2026
@gewarren gewarren merged commit 4618750 into live Jun 5, 2026
4 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners :octocat: auto-merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant