The Multiple Git Repository Tool from
the Android Open Source Project