)]}'
{
  "id": "eb376700dfffd9a887c9dea7e3152e5e7b4afb42",
  "repo": "manifest_repos/kernel",
  "revision": "af606d257aa91135f43d242f0950d0f0ac4c938e",
  "path": "drivers/input/serio/i8042.h"
}