)]}'
{
  "id": "9a155396d6acd1648d45f255d5faf04ef8be9720",
  "repo": "linux",
  "revision": "2b94de552e07610dfa79fc49ea49d1cfa5cd9ce8",
  "path": "drivers/media/dvb/ttpci/budget-patch.c"
}