[Android-tools-devel] Bug#855846: Bug#855846: repo: requires software outside of the distribution to function

[Hans-Christoph Steiner]

Its more vague than that.  repo clones a git repo for each source repo
that it manages, so it becomes something like the stuff in the .git/
subdir for git repos.  That functionality comes entirely from what's
packaged in Debian.