{"push_id":908944094,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7cc0a84cf0539ba3b2444bf1323bb51c3132c2d7","before":"a9b61bce600362d903a16dbb7521aaedcc521b15","commits":[{"sha":"7cc0a84cf0539ba3b2444bf1323bb51c3132c2d7","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"disabled debug output","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3test/commits/7cc0a84cf0539ba3b2444bf1323bb51c3132c2d7"}]}