From 24b8ac8a30139cf538faa526f637cbe72daf84ad Mon Sep 17 00:00:00 2001 From: palinatolmach Date: Wed, 16 Jul 2025 13:38:43 +0300 Subject: [PATCH] Change `ehildenb` to `palinatolmach` as default reviewer on protected files --- CODEOWNERS | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CODEOWNERS b/CODEOWNERS index 6cd3356798a..64917462132 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -1,3 +1,3 @@ -/k-distribution/include/kframework/builtin/* @ehildenb @tothtamas28 +/k-distribution/include/kframework/builtin/* @palinatolmach @tothtamas28 /.github/workflows/* @runtimeverification/admin -/package/version @ehildenb @rv-jenkins @F-WRunTime @tothtamas28 +/package/version @palinatolmach @rv-jenkins @F-WRunTime @tothtamas28