From 527cae0d4c6a5c3b9d3e9064cecf37f155c57dae Mon Sep 17 00:00:00 2001
From: Christian Decker <decker.christian@gmail.com>
Date: Thu, 21 Jan 2021 11:34:53 +0100
Subject: [PATCH] doc: Make the release process a bit more readable

---
 doc/MAKING-RELEASES.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/MAKING-RELEASES.md b/doc/MAKING-RELEASES.md
index ce4b49ab4..b57d12425 100644
--- a/doc/MAKING-RELEASES.md
+++ b/doc/MAKING-RELEASES.md
@@ -58,7 +58,11 @@ Here's a checklist for the release process.
 
 1. Update the CHANGELOG.md; remove -rcN in both places, update the date.
 2. Add a PR with that release.
-3. Merge the PR, then `git pull && git tag -s v<VERSION> && git push --tags`.
+3. Merge the PR, then:
+   - `export VERSION=0.9.3`
+   - `git pull`
+   - `git tag -a -s v${VERSION} -m v${VERSION}`
+   - `git push --tags`
 4. Run `tools/build-release.sh` to build the non-reprodicible images
    and reproducible zipfile.
 5. Use the zipfile to produce a [reproducible build](REPRODUCIBLE.md).