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