{"push_id":700132453,"size":1,"distinct_size":1,"ref":"refs/heads/simplification","head":"cca8dfa1d9d28c43b1caeeb5da7a3a18a6a2cf1f","before":"798af65a9d21f425ecbe9af1673f91f8b017f2b0","commits":[{"sha":"cca8dfa1d9d28c43b1caeeb5da7a3a18a6a2cf1f","author":{"email":"4f3407de78bccc8cc160ee4d278d5efe7162e6b5@so8r.es","name":"Nate Soares"},"message":"Cleaned up some ugly nested do statements.","distinct":true,"url":"https://api.github.com/repos/machine-intelligence/provability/commits/cca8dfa1d9d28c43b1caeeb5da7a3a18a6a2cf1f"}]}