{"push_id":865620916,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"1aafff0395bd3a46e4e8ccb2db235b6b34d05678","before":"639dfc4b308616955adcef6828f63e9f0b35b003","commits":[{"sha":"f880433a692700502f2c4f3704afbe42a529a549","author":{"email":"7cc3ab4f38bc64689217c0380fe925ae1fc4a9c4@gmail.com","name":"Bernhard F. Brodowsky"},"message":"Fixed typo in warning message.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/f880433a692700502f2c4f3704afbe42a529a549"},{"sha":"1aafff0395bd3a46e4e8ccb2db235b6b34d05678","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge pull request #310 from Lykos/patch-1\n\nFixed typo in warning message.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/1aafff0395bd3a46e4e8ccb2db235b6b34d05678"}]}