{"push_id":889219057,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"00271e5531d02225c5608949bc4979dd9b03b252","before":"b6b50655714722d4a204d60e7ad234b647c9e6d6","commits":[{"sha":"2c6645ef2df34ed8920d04a1378ac001b5a1fdcb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Python 3.x issues","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/2c6645ef2df34ed8920d04a1378ac001b5a1fdcb"},{"sha":"00271e5531d02225c5608949bc4979dd9b03b252","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"C API cleanup. Mainly removal of ML-specific macros that are not used anymore and inline documentation fixes.","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/00271e5531d02225c5608949bc4979dd9b03b252"}]}