)]}'
{
  "id": "a67f2557b4dbd21162c4a9252b31b05a75a0a305",
  "repo": "src/",
  "revision": "4a2ea71a0fc5bc17a090744fc6ce037ca107302f",
  "path": "test/time_controller/external_time_controller.h"
}