settings.gradle: Remove already-migrated sub-projects (#12186)

settings.gradle: Remove already-migrated sub-projects (#12186) #764