Tweaking git pull