android / tools_repo mirrored from git://android.kernel.org/tools/repo.git

The network feed is temporarily disabled. We're working on a fix, sorry about that.