)]}'
{
  "id": "726394cab8cd2a3829bbce3b9daa53ebd2345ca0",
  "repo": "third_party/linux",
  "revision": "8e63197ffe7750c94c8ea9d159ce3e46a76bfcf2",
  "path": "drivers/media/dvb/ttpci/budget.h"
}