Add information in git pre-push hook and exit for tagging and commiting it correctly.
@@ -10,4 +10,6 @@ if [ "${GIT_TAG_VERSION}" != "${FILE_VERSION}" ]; then
git add VERSION
git commit -m "Update version to v${GIT_TAG_VERSION}."
git tag v${GIT_TAG_VERSION}
+ echo "\033[0;31mYour push has been rejected in order to update VERSION.\033[0mPush again your tag."
+ exit 1
fi
