diff options
author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-12-05 14:58:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-05 14:58:50 +0100 |
commit | 3b05124682f7f009366d2b9d83a5939cdda082fe (patch) | |
tree | 81c30810c5ef734e130a0e6479f448743e2f3e9c /.github | |
parent | b4b13382f4a5a39cf9c6750c423402373a0de8a1 (diff) | |
parent | 341a807444a23cb12ed1cf3ad80b0c99f7dc5873 (diff) |
Merge pull request #7277 from fricklerhandwerk/codeowners
add CODEOWNERS
Diffstat (limited to '.github')
-rw-r--r-- | .github/CODEOWNERS | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS new file mode 100644 index 000000000..d58577551 --- /dev/null +++ b/.github/CODEOWNERS @@ -0,0 +1,15 @@ +# Pull requests concerning the listed files will automatically invite the respective maintainers as reviewers. +# This file is not used for denoting any kind of ownership, but is merely a tool for handling notifications. +# +# Merge permissions are required for maintaining an entry in this file. +# For documentation on this mechanism, see https://help.github.com/articles/about-codeowners/ + +# Default reviewers if nothing else matches +* @edolstra @thufschmitt + +# This file +.github/CODEOWNERS @edolstra + +# Public documentation +/doc @fricklerhandwerk +*.md @fricklerhandwerk |