From cdeb958afd4ccf1f87941f32c0e5291bed1495a4 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Sat, 4 Jan 2025 15:08:21 +1100 Subject: [PATCH] chore: add plausible to release checklist (#6525) --- doc/dev/release_checklist.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/doc/dev/release_checklist.md b/doc/dev/release_checklist.md index fc2ff4ba4e..e5b27e2030 100644 --- 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: