From 321080de71693788700a10adc05fee122963c646 Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Thu, 21 May 2020 13:00:56 +0200
Subject: [PATCH] make release doc: push latest tag

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

diff --git a/Makefile b/Makefile
index c681320ba..63ca7bf53 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 --follow-tags'"
+	@echo "Done! You can now execute 'git push origin $(VERSION)'"
 
 # Dummy target to test for GNU make availability
 _test: