another small change in do-git.sh script