)]}'
{
  "id": "dfd77128df0059b4ba2ff841dc9bd65f18d5b32d",
  "repo": "src",
  "revision": "cf0ec283d2a6ef55f3e6f6c19ec1f282e355a42b",
  "path": "test/time_controller/external_time_controller.h"
}