{"push_id":1945190501,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"45108c2d21ef7897a982c5d66cc8eb32eb96dc9c","before":"ad5594940ab9ada143fd4dcba6c6ad0a1f70347e","commits":[{"sha":"38d4bf00d3b76503883824de5fd0caf3fdc82f6b","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/38d4bf00d3b76503883824de5fd0caf3fdc82f6b"},{"sha":"49b29d37743e2547c34f5a522e0d613b1a9a1b66","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Added build failure log.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/49b29d37743e2547c34f5a522e0d613b1a9a1b66"},{"sha":"629db05758854786cbfb182e463f909bb8982e50","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/629db05758854786cbfb182e463f909bb8982e50"},{"sha":"78ecd3bde415ee7ef8bb9909545d1d9f9c7fca51","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/78ecd3bde415ee7ef8bb9909545d1d9f9c7fca51"},{"sha":"1b0db3539324a6c9c5e9a5f03aa38f62cb8992dd","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1b0db3539324a6c9c5e9a5f03aa38f62cb8992dd"},{"sha":"45108c2d21ef7897a982c5d66cc8eb32eb96dc9c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/45108c2d21ef7897a982c5d66cc8eb32eb96dc9c"}]}
{"actor":{"display_login":"wintersteiger"}}