{"push_id":1059817132,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"64dd1949ed5d7bb4faaa61fbc498be756444c6c6","before":"db60f5659d14fe8999932eb18351fcb313c7e0d0","commits":[{"sha":"766580b556713d9f35cdf6845fb01fc773a8da1a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/766580b556713d9f35cdf6845fb01fc773a8da1a"},{"sha":"7271b0f59c195651a3918b830f08b03b6a732e6c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/7271b0f59c195651a3918b830f08b03b6a732e6c"},{"sha":"3c4799b507cf4273bd8fe6ee7975b8d093e27854","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3c4799b507cf4273bd8fe6ee7975b8d093e27854"},{"sha":"40884b07985d4a277de9dbe497a143772d07145c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of github.com:Z3Prover/bin","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/40884b07985d4a277de9dbe497a143772d07145c"},{"sha":"2339387d3d1ef22c732684580aade9ad4813fd0b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2339387d3d1ef22c732684580aade9ad4813fd0b"},{"sha":"ea01fb126d889783449ca6765d4ded1523aeac7b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ea01fb126d889783449ca6765d4ded1523aeac7b"},{"sha":"8429449dc1cb0705590fb59d71d3514c006c7858","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/8429449dc1cb0705590fb59d71d3514c006c7858"},{"sha":"64dd1949ed5d7bb4faaa61fbc498be756444c6c6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/64dd1949ed5d7bb4faaa61fbc498be756444c6c6"}]}