Skip to content

Conversation

@am11
Copy link
Member

@am11 am11 commented Oct 24, 2025

This was including all arch in match, which makes no sense. Noticed while syncing configs downstream dotnet/diagnostics#5612.

@am11 am11 requested review from akoeplinger and janvorli October 24, 2025 16:35
@dotnet-policy-service dotnet-policy-service bot added the community-contribution Indicates that the PR has been added by a community member label Oct 24, 2025
@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 Oct 24, 2025
@am11 am11 added area-Infrastructure and removed needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners labels Oct 24, 2025
@dotnet-policy-service
Copy link
Contributor

Tagging subscribers to this area: @dotnet/runtime-infrastructure
See info in area-owners.md if you want to be subscribed.

Copy link
Member

@janvorli janvorli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you!

@jkoritzinsky jkoritzinsky enabled auto-merge (squash) October 24, 2025 18:35
@jkoritzinsky jkoritzinsky merged commit eb63c0e into dotnet:main Oct 24, 2025
150 checks passed
@am11 am11 deleted the patch-42 branch October 24, 2025 19:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area-Infrastructure community-contribution Indicates that the PR has been added by a community member

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants