From 27392a3b48bad24385ddf1c359f7c04164b6aabc Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Tue, 6 Dec 2022 17:46:42 +0100
Subject: [PATCH] More tweaks

---
 maintainers/release-process.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/maintainers/release-process.md b/maintainers/release-process.md
index 759e80d3c..27452b37e 100644
--- a/maintainers/release-process.md
+++ b/maintainers/release-process.md
@@ -139,10 +139,12 @@ release:
 
   ```console
   $ git checkout master
-  $ echo -n 2.13.0 > .version
-  $ git checkout -b bump-2.13
+  $ git pull
+  $ NEW_VERSION=2.13.0
+  $ echo -n $NEW_VERSION > .version
+  $ git checkout -b bump-$NEW_VERSION
   $ git commit -a -m 'Bump version'
-  $ git push
+  $ git push --set-upstream origin bump-$NEW_VERSION
   ```
 
   Make a PR and auto-merge it.