{"push_id":2773851635,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"801e7ecdad1e736428b1e9c65509c7a6bb7aaa60","before":"5ecd60d295448a951db050afd1fa58ffd472ecb4","commits":[{"sha":"dc6e4ebbc6598de57198aa0452732ec25b9fc6c1","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/dc6e4ebbc6598de57198aa0452732ec25b9fc6c1"},{"sha":"4e4bb26898fe7bfd117dc210dd83959628572841","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/4e4bb26898fe7bfd117dc210dd83959628572841"},{"sha":"07a30993e67dbfb19af11cc25ff5a63729b48c57","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/07a30993e67dbfb19af11cc25ff5a63729b48c57"},{"sha":"f04f7fed0218d4fe6e848851c1f22f54b57e85d8","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f04f7fed0218d4fe6e848851c1f22f54b57e85d8"},{"sha":"801e7ecdad1e736428b1e9c65509c7a6bb7aaa60","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/801e7ecdad1e736428b1e9c65509c7a6bb7aaa60"}]}
{"actor":{"display_login":"wintersteiger"}}