Skip to content
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

OWNERS: Only request @infinisil for OWNERS changes #348026

Merged
merged 2 commits into from
Nov 1, 2024

Conversation

infinisil
Copy link
Member

This was the original intention, but lower matching entries take precedence, so it never worked!

Note that before the move to ci/OWNERS, .github/CODEOWNERS had no owner itself, and I might also remove myself again if it turns out to be too much noise.

Ping @mweinelt


Add a 👍 reaction to pull requests you find important.

@philiptaron
Copy link
Contributor

I'm interested in the spam, too. Could you keep me on?

Copy link
Contributor

@philiptaron philiptaron left a comment

Choose a reason for hiding this comment

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

Requesting changes to keep myself on.

This was the original intention, but lower matching entries take
precedence, so it never worked!

Note that before the move to ci/OWNERS, .github/CODEOWNERS had no owner
itself, and I might also remove myself again if it turns out to be too
much noise.
@infinisil infinisil merged commit 1c52bd1 into NixOS:master Nov 1, 2024
9 of 11 checks passed
@infinisil infinisil deleted the owners-owner branch November 1, 2024 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants