Minor changes to codeowners file (#3939)

This is a small change to remove Radu from the codeowners, and to add myself to the list for the K builtin directory. Co-authored-by: rv-jenkins <[email protected]>
runtimeverification · Jan 31, 2024 · 50a2913 · 50a2913
1 parent 82dd84f
commit 50a2913
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/CODEOWNERS b/CODEOWNERS
@@ -1,4 +1,3 @@
-/k-distribution/include/kframework/builtin/* @dwightguth @ehildenb
-/Jenkinsfile @runtimeverification/admin
+/k-distribution/include/kframework/builtin/* @dwightguth @ehildenb @Baltoli
 /.github/workflows/* @runtimeverification/admin
-/package/version @dwightguth @ehildenb @radumereuta @rv-jenkins @F-WRunTime @Baltoli
+/package/version @dwightguth @ehildenb @rv-jenkins @F-WRunTime @Baltoli