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