Update permissions of the "proofs" team from PL Inc / Elliptic Research days (#134)

* Adjusting "proofs" repos to rely on team solely and archived some repos

This is handling the "archive the repos", "remove direct collaborators", and "reduce permissions generally" steps of #132

* Fix syntax error

* fix@15195201997 [skip fix]

* Update permissions of the "proofs" team from PL Inc / Elliptic Research days

This is handling the "Adjust membership of the "proofs" team" and "Remove cases where..." steps of #132

* Incorporating feedback

* fix@15333314695 [skip fix]

---------

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Co-authored-by: filecoin-project-mgmt-read-write[bot] <124318806+filecoin-project-mgmt-read-write[bot]@users.noreply.github.com>

Author: 3 people

github/filecoin-project.yml

@@ -1993,7 +1993,6 @@ repositories:
         - longfeiWan9
         - snissn
       pull:
-        - DrPeterVanNostrand
         - WhiteFlamingo
       push:
         - jsoares
@@ -3130,13 +3129,10 @@ repositories:
       pull:
         - turinglabsorg
       push:
-        - cryptonemo
-        - DrPeterVanNostrand
         - irenegia
         - LexLuthr
         - ribasushi
         - scotthconner
-        - vmx
     has_discussions: false
     merge_commit_message: PR_TITLE
     merge_commit_title: MERGE_MESSAGE
@@ -4621,6 +4617,7 @@ teams:
         - davidd8
         - DiegoRBaquero
         - dkkapur
+        - DrPeterVanNostrand
         - emilymvaughan
         - eshon
         - figureouter
@@ -4771,14 +4768,11 @@ teams:
         - anorth
         - magik6k
       member:
-        - DrPeterVanNostrand
         - eshon
         - frrist
         - jbenet
         - jnthnvctr
         - Kubuxu
-        - porcuquine
-        - vmx
         - whyrusleeping
         - ZenGround0
         - zixuanzh
@@ -4998,7 +4992,6 @@ teams:
         - BigLep
         - jennijuju
       member:
-        - cryptonemo
         - fridrik01
         - GlacierWalrus
         - hannahhoward
@@ -5089,7 +5082,6 @@ teams:
         - frrist
         - jnthnvctr
         - mishmosh
-        - porcuquine
         - protocolin
         - raulk
         - whyrusleeping
@@ -5108,19 +5100,20 @@ teams:
   proofs:
     members:
       maintainer:
-        - cryptonemo
-      member:
-        - DrPeterVanNostrand
         - Kubuxu
+      member:
+        # 202506: not active, but here in case help is needed in 202506+.
+        - cryptonemo
         - nicola
-        - porcuquine
+        - rvagg
+        # 202506: not active, but here in case help is needed in 202506+.
         - vmx
+        - ZenGround0
   research:
     members:
       maintainer:
         - nicola
       member:
-        - DrPeterVanNostrand
         - irenegia
         - jbenet
         - jsoares
@@ -5186,7 +5179,6 @@ teams:
         - mishmosh
         - momack2
         - nicola
-        - porcuquine
         - whyrusleeping
         - yiannisbot
         - zixuanzh