{"push_id":964608500,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"ff4dd239e4efff2eb077bf708ba5ffd7b5f67e31","before":"589362ac9e04bc061b671b6d6e928cfffc0121b0","commits":[{"sha":"4f744e24a367bec64d33640fcf53645ccdd00d2b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/4f744e24a367bec64d33640fcf53645ccdd00d2b"},{"sha":"817b159aa4dfc9f3a2f406b565ad31f52235cff3","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/817b159aa4dfc9f3a2f406b565ad31f52235cff3"},{"sha":"f65eb326754d1487dc1a2a69fc86f3cf4ce38ade","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f65eb326754d1487dc1a2a69fc86f3cf4ce38ade"},{"sha":"fe4baa9a10c295ff4197cef637a5977bd3562989","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fe4baa9a10c295ff4197cef637a5977bd3562989"},{"sha":"ff4dd239e4efff2eb077bf708ba5ffd7b5f67e31","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ff4dd239e4efff2eb077bf708ba5ffd7b5f67e31"}]}