maintainers: add yoavlavi

2023-07-29 21:01:44 +03:00
parent d69217d9dc
commit 3fa88446e2
1 changed files with 6 additions and 0 deletions
@@ -18358,6 +18358,12 @@
    github = "ymeister";
    githubId = 47071325;
  };
+  yoavlavi = {
+    email = "yoav@yoavlavi.com";
+    github = "yoav-lavi";
+    githubId = 14347895;
+    name = "Yoav Lavi";
+  };
  yochai = {
    email = "yochai@titat.info";
    github = "yochai";