[Minor] minor cleanups

This commit is contained in:
Robert von Burg 2014-10-10 11:57:33 +02:00
parent be76ba0871
commit 7405b75086
1 changed files with 4 additions and 0 deletions

View File

@ -240,6 +240,10 @@ if [ -n "${push}" ] ; then
echo -e "\nINFO: Pushing to origin..."
git push origin ${new_version}
git submodule foreach git push origin ${new_version}
else
echo "\nINFO: To push tags perform the following:"
echo "git push origin ${new_version}"
echo "git submodule foreach git push origin ${new_version}"
fi