pushversion.sh: git add changed files