Remove suggestion to git pull

We are now doing it automatically on make pull.