Git pull command line to be used by gitPullAll.sh