{"push_id":603736991,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"8c8112e2d27281677b44a2d87f965a365425fde3","before":"ef010085d1d36e4d604547a025141bf8db0d90e8","commits":[{"sha":"ebbe626253a10568b78f97b5bb46ce5bb725dc4e","author":{"email":"1fa2ef4755a9226cb9a0a4840bd89b158ac71391@cantab.net","name":"matt"},"message":"Loop20 log","distinct":true,"url":"https://api.github.com/repos/blexim/synth/commits/ebbe626253a10568b78f97b5bb46ce5bb725dc4e"},{"sha":"8c8112e2d27281677b44a2d87f965a365425fde3","author":{"email":"1fa2ef4755a9226cb9a0a4840bd89b158ac71391@cantab.net","name":"matt"},"message":"Bugfix: ranking functions can no longer use nondet variables","distinct":true,"url":"https://api.github.com/repos/blexim/synth/commits/8c8112e2d27281677b44a2d87f965a365425fde3"}]}