{"push_id":822635677,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"fabc4bd1ce57bfd404249c898d8975868215f14a","before":"e0cb5ed9bb88c96e4e0a11e9e42438d786abdfe8","commits":[{"sha":"8717d95f589fedaf1fa9f385f16e7fbf257af3a0","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/8717d95f589fedaf1fa9f385f16e7fbf257af3a0"},{"sha":"49d0b1cdf829a08036f8a1ea448bfcd9060c11a7","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/49d0b1cdf829a08036f8a1ea448bfcd9060c11a7"},{"sha":"5b0c2b6a33fd52e5c30cb2c3c08d172a96f3e988","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5b0c2b6a33fd52e5c30cb2c3c08d172a96f3e988"},{"sha":"f9e89c51daa0b0fda58d00a37df54a5bcbb167c6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f9e89c51daa0b0fda58d00a37df54a5bcbb167c6"},{"sha":"9c64d8e6f5423275e60cecb7407475d20826eb5c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9c64d8e6f5423275e60cecb7407475d20826eb5c"},{"sha":"fabc4bd1ce57bfd404249c898d8975868215f14a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fabc4bd1ce57bfd404249c898d8975868215f14a"}]}