)]}'
{
  "id": "947be761dfa400739620ea8b2b22866cd72b5079",
  "repo": "third_party/linux",
  "revision": "refs/heads/chromeos-5.15",
  "path": "drivers/video/hdmi.c"
}