[Minor] minor cleanups

This commit is contained in:
Robert von Burg 2014-10-10 12:00:19 +02:00
parent 7405b75086
commit ae50931782
1 changed files with 3 additions and 1 deletions

View File

@ -244,9 +244,11 @@ else
echo "\nINFO: To push tags perform the following:"
echo "git push origin ${new_version}"
echo "git submodule foreach git push origin ${new_version}"
echo "\nINFO: Or to delete the tags:"
echo "git submodule foreach git tag -d ${new_version}"
echo "git tag -d ${new_version}"
fi
echo -e "\nINFO: Released version ${new_version}"
exit 0