)]}'
{
  "id": "8d2b094db8e63b1fb6f090315bd278ffa5d870e8",
  "repo": "manifest_repos/kernel",
  "revision": "ee1bdda40423c20984eb5c969722e85f206ed0a3",
  "path": "drivers/char/ipmi/ipmi_dmi.h"
}