diff options
| author | Christian Brabandt <cb@256bit.org> | 2024-05-08 19:39:54 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-05-08 19:39:54 +0200 |
| commit | 3ac83c7141dd60ae45c0346b7c0f4539587391aa (patch) | |
| tree | 8eb5dee765be0ca1d809fc19d1c2fe391d1799f7 /.github | |
| parent | 1e34b95e4402fd8964ea4bcee0d2b6ffa6677aab (diff) | |
The CODEOWNERS File is not useful
Github is complaining about "This file has errors" and is just noisy
and for that reason does not ping maintainers if a new issue/PR is
created.
Let's just rename it to MAINTAINERS file instead and update the
documentation.
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/MAINTAINERS (renamed from .github/CODEOWNERS) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/MAINTAINERS index ac41ed5678..ac41ed5678 100644 --- a/.github/CODEOWNERS +++ b/.github/MAINTAINERS |