)]}'
{
  "id": "3e4431ed9aa92a4354d1f5468ce230c964e07770",
  "repo": "linux",
  "revision": "a8cfbcaec0c1214ddebf1b7a39aa0df545fbbf90",
  "path": "drivers/clocksource/mps2-timer.c"
}