Merge pull request #226 from cfergeau/luca-owners

Add Luca to OWNERS
crc-org · Nov 25, 2024 · 856b372 · 856b372
2 parents 4af22e9 + be48899
commit 856b372
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/OWNERS b/OWNERS
@@ -1,9 +1,11 @@
 approvers:
   - baude
   - cfergeau
+  - lstocchi
   - praveenkumar
 reviewers:
   - anjannath
   - baude
   - cfergeau
+  - lstocchi
   - praveenkumar