diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-11-08 23:34:57 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-11-08 23:34:58 +0100 |
| commit | 97a9a8925abb6889fc368f1108c682879abadcdb (patch) | |
| tree | 0c8c5f0fdefff5a55bd493a8fb95af629b1c00d0 /.github | |
| parent | 37358d0bcfd8fa38b7f652c837b8e9204a3c43f9 (diff) | |
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..bba083834 --- /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/ + +# Notified if nothing else matches +* @edolstra @thufschmitt + +# This file +.github/CODEOWNERS @edolstra + +# Public documentation +/doc @fricklerhandwerk +*.md @fricklerhandwerk |