pushversion.sh: git commit added