{"push_id":1057927444,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"16e487b32a07a3c218cb0f0f76afc9321c9ed37d","before":"bd0bd08ecf15c97a37cd17d021513a83255a37ff","commits":[{"sha":"16e487b32a07a3c218cb0f0f76afc9321c9ed37d","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Bugfix for ackermann helper","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/16e487b32a07a3c218cb0f0f76afc9321c9ed37d"}]}