)]}' { "name": "platform/external/mksh", "clone_url": "https://android.googlesource.com/platform/external/mksh" }