Skip to content

chore(root): replace git-admins with production - #9753

Merged
therealdwright merged 1 commit into
masterfrom
danielwright/inf-3637-replace-git-admins-with-production
Sep 17, 2026
Merged

therealdwright merged 1 commit into
masterfrom
danielwright/inf-3637-replace-git-admins-with-production

Conversation

@therealdwright

Copy link
Copy Markdown
Contributor

git-admins is being retired as a codeowner. point the codeowners
entry at production instead.

Ticket: INF-3637

@therealdwright
therealdwright requested a review from a team as a code owner September 16, 2026 23:28
@linear-code

linear-code Bot commented Sep 16, 2026

Copy link
Copy Markdown
Contributor

INF-3637

git-admins is being retired as a codeowner. point the codeowners
entry at production instead.

Ticket: INF-3637
@therealdwright
therealdwright force-pushed the danielwright/inf-3637-replace-git-admins-with-production branch from 5b133f9 to 8b981c8 Compare September 16, 2026 23:53
@therealdwright therealdwright changed the title chore(codeowners): replace git-admins with production chore(root): replace git-admins with production Sep 16, 2026
@therealdwright
therealdwright merged commit f954617 into master Sep 17, 2026
24 checks passed
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.

3 participants