From 7e28744dc17e24bcb526e0aac0e086e5776ade05 Mon Sep 17 00:00:00 2001 From: JadAbouHawili <81527369+JadAbouHawili@users.noreply.github.com> Date: Sat, 25 Apr 2026 12:00:10 +0300 Subject: [PATCH] doc: mention deprecations script --- templates/contribute/index.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/templates/contribute/index.md b/templates/contribute/index.md index c8474031e..973de1787 100644 --- a/templates/contribute/index.md +++ b/templates/contribute/index.md @@ -146,6 +146,8 @@ Deletions: - Nat.bit1_add_bit1 - ... +Moreover, add deprecation statements(manually or using `scripts/add_deprecations.sh` + Any other comments you want to keep out of the PR commit should go below the `---`.