How big does the Git repository have to get before performance becomes a problem?