{"push_id":611213825,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2dd379dc80e47556cfc85a5e51c4db4e1886d41e","before":"2a5ad3d05a79a99709b3d12c4e9af957dab76d81","commits":[{"sha":"4b24a1edb23e5a368a134000c737071db93cbe4b","author":{"email":"dcc360cc9b79ac15f6663249afeabe6d4a6c6289@gmail.com","name":"Nicolas Feltman"},"message":"proved a few more cases of strengthening theorem","distinct":true,"url":"https://api.github.com/repos/nfeltman/RenderGen/commits/4b24a1edb23e5a368a134000c737071db93cbe4b"},{"sha":"2dd379dc80e47556cfc85a5e51c4db4e1886d41e","author":{"email":"dcc360cc9b79ac15f6663249afeabe6d4a6c6289@gmail.com","name":"Nicolas Feltman"},"message":"finished strengthening lemma","distinct":true,"url":"https://api.github.com/repos/nfeltman/RenderGen/commits/2dd379dc80e47556cfc85a5e51c4db4e1886d41e"}]}