chore: add plausible to release checklist (#6525)

leanprover · Jan 4, 2025 · cdeb958 · cdeb958
1 parent d218954
commit cdeb958
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/doc/dev/release_checklist.md b/doc/dev/release_checklist.md
@@ -76,6 +76,10 @@ We'll use `v4.6.0` as the intended release version as a running example.
       - Toolchain bump PR including updated Lake manifest
       - Create and push the tag
       - There is no `stable` branch; skip this step
+    - [plausible](https://github.com/leanprover-community/plausible)
+      - Toolchain bump PR including updated Lake manifest
+      - Create and push the tag
+      - There is no `stable` branch; skip this step
     - [Mathlib](https://github.com/leanprover-community/mathlib4)
       - Dependencies: `Aesop`, `ProofWidgets4`, `lean4checker`, `Batteries`, `doc-gen4`, `import-graph`
       - Toolchain bump PR notes: