git pull instead of fetch on external update