{"push_id":1108752442,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4ca09e9e9ae27dd0db1a8f1fa80279d06297279f","before":"37f4cc89c9fd0296526fae47e349014dd7e7cafb","commits":[{"sha":"12a8d0d02ba8b49ce2b5a4b202a343d748b92d65","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"mpf debug cleanup","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/12a8d0d02ba8b49ce2b5a4b202a343d748b92d65"},{"sha":"4ca09e9e9ae27dd0db1a8f1fa80279d06297279f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of https://github.com/Z3Prover/z3","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/4ca09e9e9ae27dd0db1a8f1fa80279d06297279f"}]}