From 982c50401c5e9bde6a1c3ef4bf7a9019e007ab03 Mon Sep 17 00:00:00 2001
From: David Goulet <dgoulet@torproject.org>
Date: Fri, 12 Aug 2022 11:04:30 -0400
Subject: [PATCH] doc: Add git merge detail in release document

Signed-off-by: David Goulet <dgoulet@torproject.org>
---
 doc/HACKING/ReleasingTor.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/HACKING/ReleasingTor.md b/doc/HACKING/ReleasingTor.md
index 0f26cb5881..6422d84891 100644
--- a/doc/HACKING/ReleasingTor.md
+++ b/doc/HACKING/ReleasingTor.md
@@ -126,6 +126,9 @@ do the following:
    2. Merge upstream the artifacts from the `patches` job in the
       `Post-process` stage of the CI release pipeline.
 
+      Like step (2.1) above, the `-dev` version bump need to be done manually
+      with a `git merge -s ours`.
+
    3. Write and post the release announcement for the `forum.torproject.net`
       in the `News -> Tor Release Announcement` category.