{"push_id":767449055,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"96eb2716c71917bd370dfdad7053eaf742ae4501","before":"cb1a49bc70ca85faa7607d36012397c94844d9ee","commits":[{"sha":"b66f1bc3563ef4a9120e83db868742b46f1e8a39","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b66f1bc3563ef4a9120e83db868742b46f1e8a39"},{"sha":"cb524d8354fc987a880805100c5db1393e2d0254","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/cb524d8354fc987a880805100c5db1393e2d0254"},{"sha":"eeb25b5455241335d963bfc913e34d1a23f34ba4","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/eeb25b5455241335d963bfc913e34d1a23f34ba4"},{"sha":"de6622d8f874573a11a4f45b4ecd0b98cce868a6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/de6622d8f874573a11a4f45b4ecd0b98cce868a6"},{"sha":"96eb2716c71917bd370dfdad7053eaf742ae4501","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/96eb2716c71917bd370dfdad7053eaf742ae4501"}]}