{"push_id":1143131340,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"83cb9d55d547e181fe794840b39f4041223261f2","before":"b299428337fa931098ecf00abe48889efd736ee9","commits":[{"sha":"d8f83c3b8adeaac339c9fa00ea3d563544aa0535","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d8f83c3b8adeaac339c9fa00ea3d563544aa0535"},{"sha":"bbc7cddc0977e2a1f65349723501c5f701c29490","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/bbc7cddc0977e2a1f65349723501c5f701c29490"},{"sha":"0581bc6c1fee3518f6cd01d79fb22d821a4f3565","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0581bc6c1fee3518f6cd01d79fb22d821a4f3565"},{"sha":"4c3d55630f330fae8bd4a9b837db702a0efe61db","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/4c3d55630f330fae8bd4a9b837db702a0efe61db"},{"sha":"83cb9d55d547e181fe794840b39f4041223261f2","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/83cb9d55d547e181fe794840b39f4041223261f2"}]}
{"actor":{"display_login":"wintersteiger"}}