[github] Add owner for util

Set default owner for root util directory. Fixes #1140 Signed-off-by: Tobias Wölfel <tobias.woelfel@mailbox.org>
lowRISC · Dec 7, 2019 · 6e9fae9 · 6e9fae9
1 parent 8ff30b8
commit 6e9fae9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -19,6 +19,7 @@
 *.h                 @moidx
 
 # Utils: reggen, topgen, tlgen
+/util/              @sjgitty
 util/*.py           @imphil @asb
 util/*gen/          @eunchan @msfschaffner @tjaychen
 util/uvmdvgen*      @sriyerg