Add a CODEOWNERS file so that code owners are automatically requested…

… as reviewers (#844) * See https://blog.github.com/2017-07-06-introducing-code-owners/ * Move CODEOWNERS to a `.github` folder, as suggested by Pierre.
TorXakis · Jan 1, 2019 · d8898fa · d8898fa
1 parent ed57d3b
commit d8898fa
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -0,0 +1,6 @@
+# Lines starting with '#' are comments.
+# Each line is a file pattern followed by one or more owners.
+
+# TorXakis compiler
+
+sys/txs-compiler @dnadales