この質問を Android Enthusiasts に投稿しましたが、質問する場所が間違っていると判断したため、そこから削除して、ここで「もう一度」質問しました。
これは非常に初歩的な質問であり、そうであれば申し訳ありませんが、根底にある概念を明確に理解したいだけです。レポ ヘルプと Google のレポ コマンド リファレンス ページを読んでも、あまり意味がありません。Google のリファレンス ページの一部は理解できましたが、さらに説明が必要です。
Android ソースをダウンロードする方法の指示に従って、Ubuntu シェルで次の 2 つのコマンドを実行しました (環境のすべての前提条件を処理しました)。
~/android4.2.2$ repo init -u https://android.googlesource.com/platform/manifest -b android-4.2.2_r1.2
~/android4.2.2$ repo sync -j4
レポのダウンロードが完了するまで半日待った後、android4.2.2 ディレクトリに 19G のダウンロードされた素材ができました。それでは、正確に何が起こったのでしょうか。また、Google が 8G 程度のソース ファイルしか期待できないと言ったのに、なぜ 19G に達したのでしょうか?