)]}'
{
  "id": "3023b206efb7d9357ea24c85f01891824a46f68e",
  "repo": "proposal",
  "revision": "refs/heads/master",
  "path": "design/68578/spinbit.tla"
}