)]}'
{
  "id": "3bbd7e6525331924df5ccf87873ef2077ddd48e7",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/input/keyboard/tca8418_keypad.c"
}