From b79ccc12ae29ed1d4a14d9f1190bb022381c7eae Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Thu, 21 May 2020 12:24:54 +0200
Subject: [PATCH] make release: document next step

---
 Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 8f92c4152..c681320ba 100644
--- a/Makefile
+++ b/Makefile
@@ -270,6 +270,8 @@ endif
 	@git tag -a -m "Release $(VERSION) - $(RELEASE_NAME)" $(VERSION)
 	# - Reverting tagged commit...
 	@git revert --no-edit HEAD
+	@echo "==================================================================="
+	@echo "Done! You can now execute 'git push --follow-tags'"
 
 # Dummy target to test for GNU make availability
 _test: