corrected git pull definition