made update_git.sh more flexible...