)]}'
{
  "id": "a31157c99bee6b33527c4b558fc72fff65d2a278",
  "repo": "linux",
  "revision": "ca81e74dc34734078d34485d4aa123561ba75b15",
  "path": "drivers/gpu/drm/vc4/vc4_hdmi.h"
}