{"push_id":1393034781,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"3ccd5459a259486f67bb72e8352fe35367fc3ccc","before":"73029c446fb459b4cdccb5c041a17c5d8e16221c","commits":[{"sha":"e07dda5a198cad67dd972a5d18c8c1e29b5161d1","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e07dda5a198cad67dd972a5d18c8c1e29b5161d1"},{"sha":"0ef4b6702ea3dc9710c27a46300fd6603f987533","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0ef4b6702ea3dc9710c27a46300fd6603f987533"},{"sha":"0c03e3d643cc30299863b66a112bf009d3532426","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0c03e3d643cc30299863b66a112bf009d3532426"},{"sha":"5cf7b371d7472a09a01f6595bc0d951dc0694651","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5cf7b371d7472a09a01f6595bc0d951dc0694651"},{"sha":"814aee7326d0ab66a2f37aeef82353d82e2f713c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/814aee7326d0ab66a2f37aeef82353d82e2f713c"},{"sha":"3ccd5459a259486f67bb72e8352fe35367fc3ccc","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3ccd5459a259486f67bb72e8352fe35367fc3ccc"}]}
{"actor":{"display_login":"wintersteiger"}}