調べもの：repo

Androidのソースコードを取得するためのツール。Androidは多数のgitリポジトリから構成されており、その多数のリポジトリをまとめてgit操作するためのサポートツール。Pythonスクリプトで書かれている。

「repo」
repo https://gerrit.googlesource.com/git-repo/+/refs/heads/master/README.md


「Repo コマンド リファレンス | Android オープンソース プロジェクト」
https://source.android.google.cn/setup/develop/repo?hl=ja

「ソースのダウンロード | Android オープンソース プロジェクト | Android Open Source Project」
https://source.android.com/setup/build/downloading?hl=ja