Comment by shurcooL

> Google's `repo` command is a wrapper around Git that treats a set of smaller repos like one big one, but it's a (very) leaky abstraction.

Could you please provide a link to it? I’m very interested in seeing this command, but ironically it’s not a name that’s easy to google for.

Edit: I was very wrong, searching for “google repo command” displayed https://gerrit.googlesource.com/git-repo as the very first result.