diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index f1a8a10bcd0..650203cd3fb 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -1,4 +1,4 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
-*   @model-checking/kani-devs
+*   @model-checking/kani-devs @model-checking/kani-maintainers