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