From fc5110bdda72c7b7f7cd439bacd51aaf6117578b Mon Sep 17 00:00:00 2001
From: Remi Gau <remi_gau@hotmail.com>
Date: Fri, 6 Dec 2024 10:06:30 +0100
Subject: [PATCH] Update Release_Protocol.md

---
 Release_Protocol.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Release_Protocol.md b/Release_Protocol.md
index c520fec053..f9857e715d 100644
--- a/Release_Protocol.md
+++ b/Release_Protocol.md
@@ -116,6 +116,10 @@ You can also make use of the `exclude-from-changelog` label.
 Adding this label to PRs in the GitHub web interface will prevent the changelog generator from
 considering this item for inclusion in the changelog.
 
+#### 2.5 Update the schema
+
+Add the new version to `src/schema/meta/versions.yaml`.
+
 ### 3. Commit changes and push to upstream
 
 By pushing `rel/` branches to the main repository, the chances of continuous integration