)]}'
{
  "id": "b7f59d2d60c9650d8e4762b35a71bc7044656e57",
  "repo": "mojo-tools",
  "revision": "dce872885269a7a35163e4afdc36d8ab43aaae9b",
  "path": "mojo/devtools/common/devtoolslib/shell_config.py"
}