Add .github/CODEOWNERS file, just like in slang repo

aleino-nv · aleino-nv · commit c5f817497d21 · 2025-02-07T16:25:25.000+02:00
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -0,0 +1 @@
+/proposals @tangent-vector @csyonghe @expipiplus1

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+/proposals @tangent-vector @csyonghe @expipiplus1`