We have multiple git repos, each with a multiproject android/kmp build. We want to combine these into a single repo, primarily to tackle binary incompatibilities. Is there a migration guide to go about this in an iterative manner? Or some tools to automate some bits?