From 885f88407aa0b8950ebe8f99f436577ebf5ab6df Mon Sep 17 00:00:00 2001 From: Thomas Heartman Date: Fri, 4 Aug 2023 11:46:18 +0200 Subject: [PATCH] meta: add CODEOWNERS and set thomas as docs owner (#4418) This change adds a CODEOWNERS file to the repository, which is used by GitHub to automatically assign pull requests to the right people. It also sets @thomasheartman as the owner of the docs directory (`/website`), which means that he will be automatically assigned to pull requests that touch docs. --- CODEOWNERS | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 CODEOWNERS diff --git a/CODEOWNERS b/CODEOWNERS new file mode 100644 index 0000000000..f9848c11bb --- /dev/null +++ b/CODEOWNERS @@ -0,0 +1,2 @@ +# docs +/website/ @thomasheartman