From 9025f60bfd41c11a124388197d6a39a285f3f591 Mon Sep 17 00:00:00 2001 From: Robin Salkeld Date: Wed, 27 Sep 2023 14:22:37 -0700 Subject: [PATCH] Update CODEOWNERS --- .github/CODEOWNERS | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index e82e915b9..dc0a541dc 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -2,4 +2,5 @@ # https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners # Default code owner for everything is our aws-crypto-tools group -* @awslabs/aws-crypto-tools +* @smithy-lang/dafny-core +* @smithy-lang/aws-crypto-tools