ソースを全部落とし直した方がいいかなあと思ったけど時間も資源ももったいないので repo syncして1分でやめた。で、ひょっとしたら .repo/manifest.xmlを入れ替えればいいんじゃないか？と思い、 .repo/manifests/default.xmlだけ新しいものと入れ替えて re…