From 2bdd5c368913a0b62c327e430aa2cce4231a228b Mon Sep 17 00:00:00 2001 From: PEDRO DIEZ GARCIA Date: Tue, 3 Oct 2023 18:53:46 +0200 Subject: [PATCH] update_codeowners_file --- CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CODEOWNERS b/CODEOWNERS index e4f87e4..36f6f7b 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -5,5 +5,5 @@ # For more details, read the following article on GitHub: https://help.github.com/articles/about-codeowners/. # These are the default owners for the whole content of this repository. The default owners are automatically added as reviewers when you open a pull request, unless different owners are specified in the file. -* @jordonezlucena @PedroDiez +* @jordonezlucena @PedroDiez @sebKoeller @grgpapadopoulos