{"push_id":770075324,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"a0017b84048bbfb5c13c1816f47c8539fe708195","before":"5bdfa16d0916d8e1143df12420a6b0d33ec65b38","commits":[{"sha":"386d12c7f4ac8e966977bab745af533d644e9d86","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/386d12c7f4ac8e966977bab745af533d644e9d86"},{"sha":"fb2141966df281d8941be415524b4e050d34ea47","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fb2141966df281d8941be415524b4e050d34ea47"},{"sha":"eb14e600a631f15fff3b37bfce8a19223153d6bb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/eb14e600a631f15fff3b37bfce8a19223153d6bb"},{"sha":"bfd5dc1022d96983c59a22fb47b9cb5a0938f9d1","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/bfd5dc1022d96983c59a22fb47b9cb5a0938f9d1"},{"sha":"3c9b467a30be1da1ca1d810d7e69d85c606ad8c2","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3c9b467a30be1da1ca1d810d7e69d85c606ad8c2"},{"sha":"a0017b84048bbfb5c13c1816f47c8539fe708195","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/a0017b84048bbfb5c13c1816f47c8539fe708195"}]}