)]}'
{
  "id": "fc9a560429d6efe94a83c93162c68373e8d6b90a",
  "repo": "manifest_repos/kernel",
  "revision": "dee7857043c15f8ffedfeee3cb4fa05b1d11f39f",
  "path": "drivers/gpu/drm/bridge/dw-hdmi.h"
}