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