{"push_id":1099247481,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"58ee6dddb7d21d81d0095c1391e2b0d3666f2ec0","before":"e114a3f5767874a6a13fb4d79905ea2e5dd73ff7","commits":[{"sha":"0a2d48277ef170640a1c5f67517b929774ea5b2d","author":{"email":"0feb3cc2fb1cd384d33e4d000878981353bf7193@gmail.com","name":"Peter Alvaro"},"message":"update Optimus version","distinct":true,"url":"https://api.github.com/repos/palvaro/molly/commits/0a2d48277ef170640a1c5f67517b929774ea5b2d"},{"sha":"58ee6dddb7d21d81d0095c1391e2b0d3666f2ec0","author":{"email":"0feb3cc2fb1cd384d33e4d000878981353bf7193@gmail.com","name":"Peter Alvaro"},"message":"fix MAJOR bug in CNF conversion (flipPolarity changes all connectives to ORsgit diff).  still need to write tests","distinct":true,"url":"https://api.github.com/repos/palvaro/molly/commits/58ee6dddb7d21d81d0095c1391e2b0d3666f2ec0"}]}