)]}'
{
  "id": "76d234826e22b4b34662df11e3b2d94c68e15dcb",
  "repo": "third_party/kernel",
  "revision": "be0696379db5a3b49f401e243d019e6df00a0504",
  "path": "include/drm/display/drm_hdmi_helper.h"
}