add push-git.bash