{"push_id":1062041974,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"fd74c4f9bc9ccf656095688943e4b9b81548a282","before":"d3abb6ba73d5b8018aed901cb492625c6d2edc8c","commits":[{"sha":"770fde1ac5a6cbb30a6e1b373a923eec8c401674","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/770fde1ac5a6cbb30a6e1b373a923eec8c401674"},{"sha":"4d13da6e899489aef41efaa336be6ca3b91b2964","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/4d13da6e899489aef41efaa336be6ca3b91b2964"},{"sha":"e42eca4677166b7617153499edb86bfb0f6ab340","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e42eca4677166b7617153499edb86bfb0f6ab340"},{"sha":"62685754a09d4cc2dc0746dc4e0a86b989cd40bb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/62685754a09d4cc2dc0746dc4e0a86b989cd40bb"},{"sha":"b3971d0008c2e8756e18d2ddb59af2258ca515c2","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b3971d0008c2e8756e18d2ddb59af2258ca515c2"},{"sha":"fd74c4f9bc9ccf656095688943e4b9b81548a282","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fd74c4f9bc9ccf656095688943e4b9b81548a282"}]}