{"push_id":1173815621,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"9c1b30ddcebf2a3dc07144f836faf9304c2a6213","before":"08ea9cdd6e98163a36dd1dfbb8fad037c1a392cc","commits":[{"sha":"d716130b55faab15137048ffd8f4589ed3cfb1de","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d716130b55faab15137048ffd8f4589ed3cfb1de"},{"sha":"981b4f62be3c23681756e57c99e012a6b19e0201","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/981b4f62be3c23681756e57c99e012a6b19e0201"},{"sha":"cd0bc8c8a6f3b0969df317be9d793174bb2d7d06","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Added build failure log.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/cd0bc8c8a6f3b0969df317be9d793174bb2d7d06"},{"sha":"6d44642c07d53bc4c75218fbe1d61fd251c3ab34","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6d44642c07d53bc4c75218fbe1d61fd251c3ab34"},{"sha":"047a0a583d4f38589da0183a048446a0f89898ea","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/047a0a583d4f38589da0183a048446a0f89898ea"},{"sha":"9c1b30ddcebf2a3dc07144f836faf9304c2a6213","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9c1b30ddcebf2a3dc07144f836faf9304c2a6213"}]}
{"actor":{"display_login":"wintersteiger"}}