From 208a35184d2176a9b5715a4f0007e4467435060d Mon Sep 17 00:00:00 2001 From: "Felipe R. Monteiro" Date: Mon, 17 Aug 2026 19:01:07 -0400 Subject: [PATCH] Add kani-maintainers team to CODEOWNERS Grant the new `@model-checking/kani-maintainers` team code-owner status alongside `@model-checking/kani-devs`, so an approval from either team satisfies the code-owner review requirement on `main`. This is additive: `kani-maintainers` is a standalone team (no parent) with Write access on this repository only, so existing `kani-devs` members keep their approval rights. --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index f1a8a10bcd0f..650203cd3fb1 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