From 49278c1df8ae3670f5ecc2ce7110453c1aedea4e Mon Sep 17 00:00:00 2001
From: Ran Benita <ran@unusedvar.com>
Date: Tue, 7 Dec 2021 15:04:27 +0200
Subject: [PATCH] RELEASING: should also tag dev0 for prereleases

---
 RELEASING.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASING.rst b/RELEASING.rst
index 25ce90d0f..f9e4d5f15 100644
--- a/RELEASING.rst
+++ b/RELEASING.rst
@@ -152,7 +152,7 @@ Both automatic and manual processes described above follow the same steps from t
 
 #. Open a PR for ``cherry-pick-release`` and merge it once CI passes. No need to wait for approvals if there were no conflicts on the previous step.
 
-#. For major and minor releases, tag the release cherry-pick merge commit in main with
+#. For major and minor releases (or the first prerelease of it), tag the release cherry-pick merge commit in main with
    a dev tag for the next feature release::
 
        git checkout main