{"push_id":1917334208,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"10c6076685b1f8b7274847db86cc1fd5d3d77e35","before":"8758bcc3aaff17d7f5127aa5cf0b47907717b75f","commits":[{"sha":"471d4d0951299e0499d72f6b55977a42400360ab","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/471d4d0951299e0499d72f6b55977a42400360ab"},{"sha":"e3d45ae839ae946fb65c029c3e44a2e832ce7cdd","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e3d45ae839ae946fb65c029c3e44a2e832ce7cdd"},{"sha":"2960fcf775c126e64e437b72f21248155fc24911","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2960fcf775c126e64e437b72f21248155fc24911"},{"sha":"f468c7788f3d6ca6e90f0130dfc2837bc859f1d0","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f468c7788f3d6ca6e90f0130dfc2837bc859f1d0"},{"sha":"10c6076685b1f8b7274847db86cc1fd5d3d77e35","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/10c6076685b1f8b7274847db86cc1fd5d3d77e35"}]}
{"actor":{"display_login":"wintersteiger"}}