{"push_id":1171453494,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"f05e86e1a45d0e83688d928a4382541c02ea17bc","before":"7536d68803d46003ffec41b56a98cbab7f05e47d","commits":[{"sha":"5d8f37acb2abc9804bd2dfc2a52f94aa071035b1","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5d8f37acb2abc9804bd2dfc2a52f94aa071035b1"},{"sha":"d10405e15f85b6d6f720a3f9d1d5b914738b964e","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d10405e15f85b6d6f720a3f9d1d5b914738b964e"},{"sha":"db3b3c2284b9deafa1321b01acc582941dfe1fe6","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/db3b3c2284b9deafa1321b01acc582941dfe1fe6"},{"sha":"eead5e0f0f2773ceb62b1281105f36c0e9bed376","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/eead5e0f0f2773ceb62b1281105f36c0e9bed376"},{"sha":"f05e86e1a45d0e83688d928a4382541c02ea17bc","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f05e86e1a45d0e83688d928a4382541c02ea17bc"}]}
{"actor":{"display_login":"wintersteiger"}}