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