)]}'
{
  "id": "087304b1a5d71bcca55c4ba3b079d5d2b88bcfc6",
  "repo": "manifest_repos/kernel",
  "revision": "248aafd295ee9e5ac643b62b2527796d28687efc",
  "path": "drivers/gpu/vga/vga_switcheroo.c"
}