{"push_id":1132979882,"size":9,"distinct_size":9,"ref":"refs/heads/master","head":"ca3f41bac2529f90cd87f353969fa9bcf4eceb21","before":"5e702161911ce71746293a5c2242837a22aabb05","commits":[{"sha":"2e815e022fe3d9d9f07cdf033a22cd0f6b47156a","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2e815e022fe3d9d9f07cdf033a22cd0f6b47156a"},{"sha":"883fd24880f5bcc9289cc3cc06be3b99145d7feb","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/883fd24880f5bcc9289cc3cc06be3b99145d7feb"},{"sha":"526b6ccfc2eeaf8ae8094ddbf60dd4950f1d7e77","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/526b6ccfc2eeaf8ae8094ddbf60dd4950f1d7e77"},{"sha":"3843772f8c632d6c2ae419394cb2790ce5039809","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3843772f8c632d6c2ae419394cb2790ce5039809"},{"sha":"e4b0efcea6766583f314631838a31708d313b7ea","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e4b0efcea6766583f314631838a31708d313b7ea"},{"sha":"a2503a10fc0038d3b9cafc3af07e3286a1382ccd","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Merge branch 'master' of github.com:Z3Prover/bin","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/a2503a10fc0038d3b9cafc3af07e3286a1382ccd"},{"sha":"f8146916303581642e855d7d60e2058fe823073c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f8146916303581642e855d7d60e2058fe823073c"},{"sha":"ae479ea4a4707cdead8e2684125cda72bd3d3efb","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ae479ea4a4707cdead8e2684125cda72bd3d3efb"},{"sha":"ca3f41bac2529f90cd87f353969fa9bcf4eceb21","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ca3f41bac2529f90cd87f353969fa9bcf4eceb21"}]}
{"actor":{"display_login":"wintersteiger"}}