)]}'
{
  "id": "ec31d5c90675e31a1a4a51d31d91e40975ba0d34",
  "repo": "third_party/verible",
  "revision": "36a674c11b0c366a2d311299341830619d79254e",
  "path": "common/util/user_interaction.h"
}