)]}'
{
  "id": "ec318bf434a6c3d890d26060a9c388295bde807e",
  "repo": "linux",
  "revision": "07656d83085dfd3d5eff5d588a6f50c35c853ee0",
  "path": "drivers/char/ipmi/ipmi_devintf.c"
}
