test #3

gregsmi · Aug 25, 2022 · 5955ebf · 5955ebf
1 parent 0a81d75
commit 5955ebf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/ci/constants.py b/ci/ci/constants.py
@@ -27,7 +27,7 @@ def __init__(self, gh_username: str, hail_username: Optional[str] = None, teams:
     User('konradjk', 'konradk'),
     User('lfrancioli'),
     User('lgruen'),
-    User('mkveerapen'),
+#    User('mkveerapen'),
     User('nawatts'),
     User('patrick-schultz', 'pschultz', [COMPILER_TEAM]),
     User('pwc2', 'pcumming'),