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