)]}'
{
  "id": "aa7c415f8cc1b2daeb67aa36233c7ffdddea5a14",
  "repo": "manifest_repos/kernel",
  "revision": "56f6ecad7e8aebbbde7e963cdf32ad3112650d66",
  "path": "drivers/gpu/drm/rockchip/inno_hdmi.h"
}