{"push_id":757170509,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a34fb44f7889832e71dce00d51868ef5d431896e","before":"e20da05565f6eba25b205e40f85cb1e9c89b4d1c","commits":[{"sha":"a34fb44f7889832e71dce00d51868ef5d431896e","author":{"email":"588418e2c8b0741b3605777cbfd5b047e664b0e7@github.com","name":"Shane Pearman"},"message":"lambda cube","distinct":true,"url":"https://api.github.com/repos/spearman/formal-logic/commits/a34fb44f7889832e71dce00d51868ef5d431896e"}]}