index
:
community.git
master
Unnamed repository; edit this file 'description' to name the repository.
Mike Vink
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rw-r--r--
OWNERS
2
1 files changed, 2 insertions, 0 deletions
diff --git a/OWNERS b/OWNERS
index 502c3ceb..560ab3fc 100644
--- a/
OWNERS
+++ b/
OWNERS
@@ -10,3 +10,5 @@ approvers:
- nikhita
- parispittman
- committee-steering
+emeritus_approvers:
+ - grodrigues3