)]}'
{
  "id": "d570e19a286494da5f3524d23ff7a3f2d0267cd9",
  "repo": "third_party/linux",
  "revision": "0a7d2cd7407da88cec68556777458a4b897d91d8",
  "path": "drivers/video/fbdev/w100fb.c"
}