Skip to content

Update pr_owners.txt #61798

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 3, 2025
Merged

Conversation

jakebailey
Copy link
Member

No description provided.

@github-project-automation github-project-automation bot moved this to Not started in PR Backlog Jun 1, 2025
@typescript-bot typescript-bot added Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug labels Jun 1, 2025
Copy link

@Copilot 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

This PR cleans up the list of PR owners by removing inactive and automated entries.

  • Removed rbuckton, amcasey, minestarks, armanio123, and dependabot from the owners list.
  • Updated the .github/pr_owners.txt file accordingly.
Comments suppressed due to low confidence (2)

.github/pr_owners.txt:1

  • [nitpick] The PR owners list isn't sorted alphabetically. Consider ordering usernames case-insensitively to make additions and lookups easier.
weswigham

.github/pr_owners.txt:1

  • [nitpick] Usernames use mixed casing (e.g., RyanCavanaugh vs. anders). For consistency, normalize casing or document the expected format.
weswigham

@github-project-automation github-project-automation bot moved this from Not started to Needs merge in PR Backlog Jun 3, 2025
@jakebailey jakebailey merged commit 44d4671 into microsoft:main Jun 3, 2025
32 checks passed
@github-project-automation github-project-automation bot moved this from Needs merge to Done in PR Backlog Jun 3, 2025
@jakebailey jakebailey deleted the update-pr-owners branch June 3, 2025 21:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Author: Team For Uncommitted Bug PR for untriaged, rejected, closed or missing bug
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants