{"push_id":1175650239,"size":8,"distinct_size":8,"ref":"refs/heads/master","head":"1b3104cba2055716b0661f18ff6ec60dab8e1770","before":"228e5e13937288e94b6d8c2fdbf9deb6229a95f1","commits":[{"sha":"be6e33c236f66e18d61253b14470fc397f21e1ca","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/be6e33c236f66e18d61253b14470fc397f21e1ca"},{"sha":"56d86a021b9a5439a4d83143f89f71248e985d86","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/56d86a021b9a5439a4d83143f89f71248e985d86"},{"sha":"635633dfba5bbc8fb311776cf49991b809cfdb8e","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/635633dfba5bbc8fb311776cf49991b809cfdb8e"},{"sha":"37d69cca2f672cdb04dbf7c126f0cb4f9f2e6905","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/37d69cca2f672cdb04dbf7c126f0cb4f9f2e6905"},{"sha":"fb65698d439e037772df96bab8725f099aa14d7e","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fb65698d439e037772df96bab8725f099aa14d7e"},{"sha":"90fa86cf71c9220e49835e7822d44a84db943d35","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/90fa86cf71c9220e49835e7822d44a84db943d35"},{"sha":"c1bf655753604a5cece01fce4177bd385ae04abb","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c1bf655753604a5cece01fce4177bd385ae04abb"},{"sha":"1b3104cba2055716b0661f18ff6ec60dab8e1770","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1b3104cba2055716b0661f18ff6ec60dab8e1770"}]}
{"actor":{"display_login":"wintersteiger"}}