)]}'
{
  "id": "33dc2298af73a9118649208df8e75a79bef1bd15",
  "repo": "third_party/linux",
  "revision": "30e68bcc67e41ab6dab4e4e1efc7ea8ca893c0af",
  "path": "drivers/char/mmtimer.c"
}