make release doc: push latest tag

This commit is contained in:
Philippe Teuwen 2020-05-21 13:00:56 +02:00
parent bf5c054414
commit 321080de71

View file

@ -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: