rename governance into Rocq teams

README.md

@@ -86,7 +86,7 @@ being composed of the following community members:
 - Cuihtlauac Alvarado ([@cuihtlauac](https://github.com/cuihtlauac)), Maintainer (Tarides)
 - Sabine Schmaltz ([@sabine](https://github.com/sabine)), Maintainer (Tarides)
 
-The roles and responsibilities are explained in the governance, don't hesitate to [have a look](https://rocq-prover.org/governance) for more details.
+The roles and responsibilities are explained in the governance, don't hesitate to [have a look](https://rocq-prover.org/rocq-team) for more details.
 
 We're always looking for new maintainers! If you're interested in helping us make rocq-prover.org the best resource to learn Rocq and discover the ecosystem, [reach out to us](mailto:[email protected])!
 

data/pages/governance.md

@@ -69,7 +69,7 @@ applications.
 
 ### A. Core Team and Project Leader
 
-The [Rocq Core](/governance/governance#Core) team is composed of a set of voluntary, co-opted 
+The [Rocq Core](/rocq-team/governance#Core) team is composed of a set of voluntary, co-opted
 Maintainers that govern the development of the Rocq Prover and official Rocq Projects.
 It is the role of the Core team to resolve disputes that may arise in relation to
 the official Rocq Projects, specifically to ensure that
@@ -199,7 +199,7 @@ generate consensus among the community to resolve conflicts.
 
 The [Code of Conduct](/code-of-conduct) should be followed at all times.
 Maintainers that do not follow the Code of Conduct may be removed from their
-role by the [Code of Conduct enforcement team](/governance/community#Code%20of%20Conduct%20Enforcement)
+role by the [Code of Conduct enforcement team](/rocq-team/community#Code%20of%20Conduct%20Enforcement)
 (acting on behalf of the Project Leader).
 
 ****

data/pages/privacy_policy.md

@@ -5,7 +5,7 @@ meta_title: Rocq Privacy Policy
 meta_description: Rocq.org doesn’t use cookies and doesn’t collect personal data. Your data is your data, period.
 ---
 
-The Rocq [team](/governance) is committed to complying with GDPR, CCPA, PECR, and other privacy regulations on this website.
+The Rocq [team](/rocq-team) is committed to complying with GDPR, CCPA, PECR, and other privacy regulations on this website.
 
 ## Data Collection
 

src/global/url.ml

@@ -94,8 +94,8 @@ let news = "/news"
 let news_post v = "/news/" ^ v
 let jobs = "/jobs"
 let donation = "/donation"
-let governance = "/governance"
-let governance_team id = "/governance/" ^ id
+let governance = "/rocq-team"
+let governance_team id = "/rocq-team/" ^ id
 let privacy_policy = "/policies/privacy-policy"
 let governance_policy = "/policies/governance"
 let code_of_conduct = "/policies/code-of-conduct"

src/rocqproverorg_frontend/pages/about.eml

@@ -106,7 +106,7 @@ Layout.render
           The new name, "the Rocq Prover", honors Inria Rocquencourt, the original site where the prover was developed.
           It also alludes to the mythological bird Roc (or Rokh), symbolizing strength and not so disconnected to a rooster.
           Furthermore, the name conveys a sense of solidity, and its unintended connection to music adds a pleasant resonance.
-          The new name was chosen by the <a href="/governance/governance#Core">Core team</a> after a poll of the users, see
+          The new name was chosen by the <a href="<%s Url.governance_team "governance" %>#Core">Core team</a> after a poll of the users, see
           <a href="https://coq.discourse.group/t/coq-community-survey-2022-results-part-iv-and-itp-paper-announcement/2001#renaming-coq-8">this page</a>
           for a detailed breakdown of the results.
           </p>

src/rocqproverorg_frontend/pages/governance.eml

@@ -32,13 +32,13 @@ let render_team_card (team: Data.Governance.team) member_label =
 
 let render ~teams ~working_groups =
 Layout.render
-~title:"Governance"
-~description:"Rocq Governance" @@
+~title:"Rocq Team"
+~description:"Rocq Team" @@
 <div class="w-full border-b intro-section-simple dark:dark-intro-section-simple md:bg-transparent dark:border-none bg-cover py-16">
   <div class="container-fluid">
       <div class="flex md:flex-row flex-col">
         <div class="w-full m-auto mb-4 md:mb-0">
-          <h1 class="font-bold mb-2 text-title dark:text-dark-title">Governance</h1>
+          <h1 class="font-bold mb-2 text-title dark:text-dark-title">Rocq Team</h1>
           <p class="text-title dark:text-dark-title">The projects running under Rocq and the people behind it
           </p>
         </div>
@@ -49,7 +49,6 @@ Layout.render
   </div>
 </div>
 <div class="container-fluid py-10">
-  <h2 class="font-bold text-2xl mb-2 text-title dark:text-dark-title">Teams</h2>
   <p class="text-lg text-content dark:text-dark-content">See who the maintainers of the various official Rocq Projects are. We present a comprehensive list structured by project / purpose</p>
   <div class="grid grid-cols-1 md:grid-cols-2 gap-8 mt-16">
     <% teams |> List.iter (fun (team : Data.Governance.team) -> %>