Merge pull request #85 from filecoin-project/galargh-patch-6

grant web3-bot push access to uci fork
filecoin-project · Nov 21, 2024 · 2a1e3ac · 2a1e3ac
2 parents cbe2da0 + cffa09c
commit 2a1e3ac
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/github/filecoin-project.yml b/github/filecoin-project.yml
@@ -4626,6 +4626,9 @@ repositories:
     advanced_security: false
     allow_update_branch: false
     archived: false
+    collaborators:
+      push:
+        - web3-bot
     has_discussions: false
     merge_commit_message: PR_TITLE
     merge_commit_title: MERGE_MESSAGE