{"push_id":1206453459,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"e8ecfb656459102f508a363824dd1c41db22507b","before":"43e3f5c34765f0e7d2f6e2709d73e3ce2fe2d636","commits":[{"sha":"932b68d9410472543bb93ffddcda54018b7c1853","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/932b68d9410472543bb93ffddcda54018b7c1853"},{"sha":"89444eea5f9702f0660f1c5d0ab227fc5b795354","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/89444eea5f9702f0660f1c5d0ab227fc5b795354"},{"sha":"850a85f8174b7a84341417726777967cbf49c679","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/850a85f8174b7a84341417726777967cbf49c679"},{"sha":"2e1fc431765cb7b56d00856e6844f178cd35328e","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/2e1fc431765cb7b56d00856e6844f178cd35328e"},{"sha":"053df45fe0b1ac647a62a29b10fcf5ae3fd4b57c","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/053df45fe0b1ac647a62a29b10fcf5ae3fd4b57c"},{"sha":"871e7fbb4b621016cb618cef61c6d0f10a9c8d41","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/871e7fbb4b621016cb618cef61c6d0f10a9c8d41"},{"sha":"9455fd947c5c077b5afa3bbc47fe9f2016ab72a7","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9455fd947c5c077b5afa3bbc47fe9f2016ab72a7"},{"sha":"e8ecfb656459102f508a363824dd1c41db22507b","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e8ecfb656459102f508a363824dd1c41db22507b"}]}
{"actor":{"display_login":"wintersteiger"}}