{"push_id":920510645,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"774567a61498a2b1a9a443dc70f7afe97e25ebf1","before":"42b38be1659a458225424e202e3c49bad77234d9","commits":[{"sha":"bad5ec275cd3c45f199454cd0e8987c51e65491c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/bad5ec275cd3c45f199454cd0e8987c51e65491c"},{"sha":"f952b42087134ce557f582682cd30d41fcd2ce08","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f952b42087134ce557f582682cd30d41fcd2ce08"},{"sha":"5e47bcd402a01f1cb5b7f7d4dea7260e093090db","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5e47bcd402a01f1cb5b7f7d4dea7260e093090db"},{"sha":"533b0c48d18eec6ef69533da93744461d6f61805","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/533b0c48d18eec6ef69533da93744461d6f61805"},{"sha":"21888b632280388405717f99d6d86609f130894b","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/21888b632280388405717f99d6d86609f130894b"},{"sha":"9c906fed8f584ce46a1ba23ee37c3b06b575146f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9c906fed8f584ce46a1ba23ee37c3b06b575146f"},{"sha":"05b344c845d23d07620d6baf3386ac1ac5767717","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/05b344c845d23d07620d6baf3386ac1ac5767717"},{"sha":"774567a61498a2b1a9a443dc70f7afe97e25ebf1","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/774567a61498a2b1a9a443dc70f7afe97e25ebf1"}]}