rename governance into Rocq teams

Author: tabareau

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-teams"
+let governance_team id = "/rocq-teams/" ^ id
 let privacy_policy = "/policies/privacy-policy"
 let governance_policy = "/policies/governance"
 let code_of_conduct = "/policies/code-of-conduct"

src/rocqproverorg_frontend/components/footer.eml

@@ -29,8 +29,8 @@ let ecosystem = [
   ]
 
 let policies = [
-  (Url.governance, "Rocq Team");
-  (Url.governance_policy, "Governance");
+  (Url.governance, "Rocq Teams");
+  (Url.governance_policy, "Rocq Governance");
   (Url.privacy_policy, "Privacy");
   (Url.code_of_conduct, "Code of Conduct");
   ]

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"
+~title:"Rocq Teams"
 ~description:"Rocq Governance" @@
 <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 Teams</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) -> %>