{"push_id":932462604,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"b109b8040f0a64b1bf1ccc18f72f08c2d530b0da","before":"6bdda8268eb1d96fa20515af93e1f48bc766023e","commits":[{"sha":"0da58c9cd584fa74ed25f6c8e477a1bca9b8216c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0da58c9cd584fa74ed25f6c8e477a1bca9b8216c"},{"sha":"84ea4a0cb472b1f2338917ff961613b6fca8f90b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/84ea4a0cb472b1f2338917ff961613b6fca8f90b"},{"sha":"d5faa81abd9a05b4ad8799c6c717d2def92773e8","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d5faa81abd9a05b4ad8799c6c717d2def92773e8"},{"sha":"814fb834b60502afdac4a0b4dfb0ae53c827edf2","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/814fb834b60502afdac4a0b4dfb0ae53c827edf2"},{"sha":"b109b8040f0a64b1bf1ccc18f72f08c2d530b0da","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b109b8040f0a64b1bf1ccc18f72f08c2d530b0da"}]}