{"push_id":815109875,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"08fe6676337498d9e7f034313c769ba79731716c","before":"a530263e1c764788d13ceb83dbe690c6ea866879","commits":[{"sha":"386cc6db4ff99a9be9284effd1e107f20cda9f2d","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/386cc6db4ff99a9be9284effd1e107f20cda9f2d"},{"sha":"dcaee86b8388a2f7a5e72aca7505263d6b314c0a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/dcaee86b8388a2f7a5e72aca7505263d6b314c0a"},{"sha":"2779aadba52ddf62ac58f0c23fe43a39878118e6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2779aadba52ddf62ac58f0c23fe43a39878118e6"},{"sha":"90f343822d7eae618877b61b12ad64faa49421b0","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/90f343822d7eae618877b61b12ad64faa49421b0"},{"sha":"5a0b7aab32491bb36ae79f1e1f48e4f5b295ca48","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5a0b7aab32491bb36ae79f1e1f48e4f5b295ca48"},{"sha":"f813e738b807a56fba10eac8523358ba317af29d","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Added Z3 4.4.1 release","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f813e738b807a56fba10eac8523358ba317af29d"},{"sha":"08fe6676337498d9e7f034313c769ba79731716c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/08fe6676337498d9e7f034313c769ba79731716c"}]}