)]}'
{
  "id": "1088e288c04d73d6b349b229e2963b5e0e0d83ff",
  "repo": "linux",
  "revision": "refs/heads/topic/cbmc",
  "path": "drivers/firmware/efi/libstub/vsprintf.c"
}