From f4b87754c440b9bb70355471f9b1a9358a581980 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Magnus=20B=C3=A4ck?= Date: Wed, 6 Apr 2022 14:55:13 +0200 Subject: [PATCH] Add CODEOWNERS file The file maps all paths to the repository maintainers' GitHub team. --- CODEOWNERS | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 CODEOWNERS diff --git a/CODEOWNERS b/CODEOWNERS new file mode 100644 index 0000000..9f59006 --- /dev/null +++ b/CODEOWNERS @@ -0,0 +1,6 @@ +# These owners will be the default owners for everything in +# the repo. Unless a later match takes precedence, +# @eiffel-community/eiffel-community-maintainers will be +# requested for review when someone opens a pull request. + +* @eiffel-community/eiffel-community-maintainers