Well, we're not quite consistent with that in our texts, but from my UI knowledge, I'd say it should be upper case, and the majority of occurences in this file is upper case, too. The rationale from a UI point of view is that it is not a "generic" repository that's meant but a Git-specific term.