)]}'
{
  "id": "b8d50533e2bb4ac195fa63d32a4c2c748c036e4f",
  "repo": "third_party/linux",
  "revision": "ee82c13f6cc127a30c59ef8ee2dfc723b3f2ecf6",
  "path": "drivers/gpu/drm/vc4/vc4_hdmi.c"
}