minor change in release procedure to git push the pom.xml version change