Merge pull request #152 from filecoin-project/rvagg/core-devs-tanisha

rjan90 · web-flow · commit 7bcbbe772a20 · 2025-07-22T07:53:54.000+02:00
Add Tanisha-fil to core-devs
diff --git a/github/filecoin-project.yml b/github/filecoin-project.yml
@@ -708,6 +708,8 @@ repositories:
       maintain:
         - dannyob
         - rjan90
+      push:
+        - Tanisha-fil
     has_discussions: true
     merge_commit_message: PR_TITLE
     merge_commit_title: MERGE_MESSAGE
