refined git_pull.sh