)]}'
{
  "id": "1cafdf46f8756bbfa0544520f400d9c9dedb94e1",
  "repo": "linux",
  "revision": "9a5523f72bd2b0d66eef3d58810c6eb7b5ffc143",
  "path": "drivers/gpio/gpio-idt3243x.c"
}