{"push_id":988767534,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"511e98c5732c2fac3adb2c1ccfdde5bfd52db337","before":"959979dcc75af691508fa4d06bcf716649c196a4","commits":[{"sha":"216599cd2d08bd94bae23e1e868e7e827ae035ff","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/216599cd2d08bd94bae23e1e868e7e827ae035ff"},{"sha":"11042deb1a8cdc3c36d4c4108da59617aa17e0a4","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/11042deb1a8cdc3c36d4c4108da59617aa17e0a4"},{"sha":"2d02d2869b117f9716dc63e242fe12e7bb11ee27","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2d02d2869b117f9716dc63e242fe12e7bb11ee27"},{"sha":"b403ca5cf316eef0f13c006bc5cfb8ac0d08f5cb","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/b403ca5cf316eef0f13c006bc5cfb8ac0d08f5cb"},{"sha":"37e79e4b6d3d02db0cab6bf1859b3cac73ad5814","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/37e79e4b6d3d02db0cab6bf1859b3cac73ad5814"},{"sha":"9793f76d65e3711f3450cf3d2d1b7080bae4c5a4","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9793f76d65e3711f3450cf3d2d1b7080bae4c5a4"},{"sha":"04f3f741a4a3e10fcff9afc52e7f33fae1679b21","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/04f3f741a4a3e10fcff9afc52e7f33fae1679b21"},{"sha":"511e98c5732c2fac3adb2c1ccfdde5bfd52db337","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/511e98c5732c2fac3adb2c1ccfdde5bfd52db337"}]}