Improve documentation on accessing the git repository.