{"push_id":2762754456,"size":1,"distinct_size":1,"ref":"refs/heads/simplifier","head":"daa03d54c7fd1502fcc3c0314b5eecd908078527","before":"5f50c5427f5bc09534f62c0b8ba8b4960211b6b9","commits":[{"sha":"daa03d54c7fd1502fcc3c0314b5eecd908078527","author":{"name":"Daniel Schoepe","email":"98f0d37f960ea37c8cd9666e4bd297411d34d5bc@amazon.com"},"message":"Only inline let expressions in ghosts\n\nThis is done to avoid potential blow up in the code emitted by the\ncompiler.","distinct":true,"url":"https://api.github.com/repos/Microsoft/dafny/commits/daa03d54c7fd1502fcc3c0314b5eecd908078527"}]}
{"actor":{"display_login":"dschoepe"}}