{"push_id":1204501399,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"e8fd54c1563deb0bc232e78694b7216f3337c32b","before":"048cd2d1eb674ba08949c0e970dc70f7b7576172","commits":[{"sha":"bbe6f8812342d1f97d3daddc44b2f8dc40969667","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/bbe6f8812342d1f97d3daddc44b2f8dc40969667"},{"sha":"9eef3d49c928e5a1f0d645298c4327ddfa0a94b6","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9eef3d49c928e5a1f0d645298c4327ddfa0a94b6"},{"sha":"e8fd54c1563deb0bc232e78694b7216f3337c32b","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e8fd54c1563deb0bc232e78694b7216f3337c32b"}]}
{"actor":{"display_login":"wintersteiger"}}