fixing git pull example