git-tools git_pull_all.sh: Pulling all the git repos in the given root folder. Break, when the first pull exited abnormally. ./git_pull_all.sh /myfolder