Code

rename governance into Rocq teams#95

Code

Merged

Zimmi48 merged 3 commits intomaincoq/rocq-prover.org:mainfrom rename-governance-into-Rocq-teamscoq/rocq-prover.org:rename-governance-into-Rocq-teamsCopy head branch name to clipboardMar 5, 2025

Commits

Commits on Mar 5, 2025

• rename governance into Rocq teams

  

  tabareau

  authored and

  Zimmi48

  committed
  7e68a9e

  Copy full SHA for 7e68a9e

• Use singular for Rocq Team.

  Zimmi48

  committed
  d559363

  Copy full SHA for d559363

• Fix links after governance page renamings.

  Zimmi48

  committed
  2520345

  Copy full SHA for 2520345