From 2cb198743ac0eee76c726471862ced2c951e0d78 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Thu, 21 May 2020 22:04:21 +0200
Subject: [PATCH] minor release doc fix

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 63ca7bf53..d39183105 100644
--- a/Makefile
+++ b/Makefile
@@ -271,7 +271,7 @@ endif
 	# - Reverting tagged commit...
 	@git revert --no-edit HEAD
 	@echo "==================================================================="
-	@echo "Done! You can now execute 'git push origin $(VERSION)'"
+	@echo "Done! You can now execute 'git push && git push origin $(VERSION)'"
 
 # Dummy target to test for GNU make availability
 _test: