)]}'
{
  "id": "7e7ee8842c69d208f7c6b543c6e14bea3e5d0645",
  "repo": "mojo-tools",
  "revision": "83365b19d08baa9ba3f254866a59b01eba496f4f",
  "path": "mojo/devtools/common/devtoolslib/shell.py"
}