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: