)]}'
{
  "id": "33a45d54f25416ffbcd46aca7431f4baaee34480",
  "repo": "mojo-tools",
  "revision": "cc43905ec427a4b224d5df776c5896c53082cf01",
  "path": "sky/examples/radio.sky"
}