)]}'
{
  "id": "4e93418d6a13c71c80a3612d74806c3f3e2d2584",
  "repo": "linux",
  "revision": "94e6fdd028a12ff2abe7d915f8b6bbdb923cc04d",
  "path": "drivers/gpu/drm/vboxvideo/hgsmi_ch_setup.h"
}