summaryrefslogtreecommitdiff
path: root/CODEOWNERS
diff options
context:
space:
mode:
Diffstat (limited to 'CODEOWNERS')
-rw-r--r--CODEOWNERS2
1 files changed, 2 insertions, 0 deletions
diff --git a/CODEOWNERS b/CODEOWNERS
index 2a7c825..9735ff3 100644
--- a/CODEOWNERS
+++ b/CODEOWNERS
@@ -6,3 +6,5 @@
#
# Interim maintainers who won't be very responsive :-(
* @mjambon @pmetzger
+*.opam @liyishuai
+.github/workflows/ @liyishuai