about summary refs log tree commit diff
path: root/.github
diff options
context:
space:
mode:
authorSilvan Mosberger <silvan.mosberger@tweag.io>2024-06-26 00:51:40 +0200
committerSilvan Mosberger <silvan.mosberger@tweag.io>2024-06-26 16:04:43 +0200
commit13599930cb314ca9335fbb9dcb31acc4342f748d (patch)
treeeda13a82c1c2532917eb054cc03a4bf52d9ce656 /.github
parent260616a5fddf0d3cf41bca8b74be23e2e2bf8c2e (diff)
ci: init directory
This creates a new directory for all CI support files, will be populated
in future commits.
Diffstat (limited to '.github')
-rw-r--r--.github/CODEOWNERS3
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 35f1bacbf5cff..89d8d57cd73df 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -11,8 +11,9 @@
 # This also holds true for GitHub teams. Since almost none of our teams have write
 # permissions, you need to list all members of the team with commit access individually.
 
-# GitHub actions
+# CI
 /.github/workflows @NixOS/Security @Mic92 @zowoq
+/ci @infinisil
 
 # EditorConfig
 /.editorconfig @Mic92 @zowoq