Merge remote-tracking branch 'origin/master-sync-filecoin-project'

filecoin-project · Sep 19, 2024 · 8695192 · 8695192
2 parents d9d4848 + 57b4bec
commit 8695192
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/github/filecoin-project.yml b/github/filecoin-project.yml
@@ -3179,6 +3179,21 @@ repositories:
       push:
         - lotus-contributors
     visibility: public
+  lotus-infra-archive:
+    advanced_security: false
+    allow_update_branch: false
+    archived: false
+    has_discussions: false
+    merge_commit_message: PR_TITLE
+    merge_commit_title: MERGE_MESSAGE
+    secret_scanning_push_protection: false
+    secret_scanning: false
+    squash_merge_commit_message: COMMIT_MESSAGES
+    squash_merge_commit_title: COMMIT_OR_PR_TITLE
+    teams:
+      admin:
+        - lotus-maintainers
+    visibility: private
   lotus-infra-dev:
     advanced_security: false
     allow_update_branch: false