From 11cf9b7bc7d1a058aa35ae88018c36b95cafda9d Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Mon, 14 Oct 2019 13:11:30 -0400
Subject: Assign ownership of the test-suite compat files

I want to be notified when these are changed
---
 .github/CODEOWNERS | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 4789d9b6fa..6c6e4bdfcb 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -320,6 +320,8 @@ azure-pipelines.yml @coq/ci-maintainers
 /test-suite/unit-tests/src/ @jfehrle
 # Secondary maintainer      @SkySkimmer
 
+/test-suite/success/Compat*.v @JasonGross
+
 ########## Developer tools ##########
 
 /dev/tools/backport-pr.sh     @Zimmi48
-- 
cgit v1.2.3