)]}' { "id": "8c38aec229996023a74ee20fa8f41b9a5a1ee78b", "repo": "third_party/kernel", "revision": "fb1c56d1d26a97cc868fc62de26143264f004e03", "path": "sound/usb/midi.h" }