{"push_id":789026577,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4690cea749343c11a8d81dc5ad0469312100d95f","before":"026fbf315d6e64495d8d1c4f1f01a5b4a24e0e1e","commits":[{"sha":"4690cea749343c11a8d81dc5ad0469312100d95f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Bugfixes for CE","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3test/commits/4690cea749343c11a8d81dc5ad0469312100d95f"}]}