Skip to content

chore: set repository code owners - #281

Merged
skipi merged 1 commit into
masterfrom
mk/agent/codeowners
Aug 31, 2026
Merged

chore: set repository code owners#281
skipi merged 1 commit into
masterfrom
mk/agent/codeowners

Conversation

@skipi

@skipi skipi commented Aug 31, 2026

Copy link
Copy Markdown
Member

What

Set the repository code owners to the current maintainer set:

* @DamjanBecirovic @skipi @loadez @dexyk @adbatista

Note on the previous file

The file previously contained a single line, @lucaspin, with no path pattern. CODEOWNERS entries are <pattern> <owners...>, so that line parsed as a pattern with no owners attached and matched nothing — GitHub's CODEOWNERS validator reports no errors for it, but no reviewer was requested automatically on recent pull requests, which is consistent with it selecting nobody.

Adding the * pattern means the entry now applies to the whole repository, so these owners will be requested automatically on new pull requests.

All five handles were checked against the GitHub API and resolve to existing users.

Replace the single-entry CODEOWNERS with the current set of maintainers,
and add the `*` path pattern so the entry actually matches. The previous
line carried no pattern, so it selected no owners and no reviewer was
requested automatically on incoming pull requests.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@skipi
skipi merged commit 1a868fb into master Aug 31, 2026
3 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.

2 participants