Skip to content

Change ownership of area paths#120825

Merged
jaredpar merged 2 commits intomainfrom
dev/jaredpar/area-paths
Oct 17, 2025
Merged

Change ownership of area paths#120825
jaredpar merged 2 commits intomainfrom
dev/jaredpar/area-paths

Conversation

@jaredpar
Copy link
Member

No description provided.

@jaredpar jaredpar requested a review from jeffhandley as a code owner October 16, 2025 23:31
Copilot AI review requested due to automatic review settings October 16, 2025 23:31
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

Updates resource management policy to reflect new ownership for specific area paths.

  • Replaces user cston with 333fred in four mentionees lists.
  • Adjusts only subscriber tagging configuration; no functional logic changes.

@jaredpar jaredpar enabled auto-merge (squash) October 16, 2025 23:31
@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 16, 2025
@jkotas
Copy link
Member

jkotas commented Oct 17, 2025

/ba-g github crash Failed to create an instance of type 'GitOps.PullRequestIssueManagement.Core.Primitives.Data.Frequencies.SearchFrequency'

@jkotas jkotas disabled auto-merge October 17, 2025 00:46
@jaredpar jaredpar enabled auto-merge (squash) October 17, 2025 03:48
@jaredpar
Copy link
Member Author

Failed to create an instance of type 'GitOps.PullRequestIssueManagement.Core.Primitives.Data.Frequencies.SearchFrequency'

Unsure how to handle this. I can't see that my change broke this as I just changed out one user name from another. I tried digging into the job to see what it's actually testing but cannot find any details going through the links.

@jkotas
Copy link
Member

jkotas commented Oct 17, 2025

/ba-g non-code change

@jaredpar jaredpar merged commit 002cb81 into main Oct 17, 2025
14 of 15 checks passed
@jkotas jkotas deleted the dev/jaredpar/area-paths branch October 17, 2025 06:19
@github-actions github-actions bot locked and limited conversation to collaborators Nov 16, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants