diff --git a/CODEOWNERS b/CODEOWNERS new file mode 100644 index 0000000..408b271 --- /dev/null +++ b/CODEOWNERS @@ -0,0 +1,4 @@ +# These owners will be the default owners for everything in the repo. +# Unless a later match takes precedence, the listed user will be +# requested for review when someone opens a pull request. +* @ingoeichner @ReinerSchinkoethe \ No newline at end of file