{"push_id":917711136,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2f08040403ba4eaec74bdf0f3a52825b022780fc","before":"b0781a14cd95c56f03e12bd1617cc6be45082033","commits":[{"sha":"2f08040403ba4eaec74bdf0f3a52825b022780fc","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/2f08040403ba4eaec74bdf0f3a52825b022780fc"}]}