{"push_id":3057634390,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"c2132769f0ee86aa2a9867dfc5a18f02e45f63d8","before":"8ce9756a498c35998b40fc19b19080ce1ae073ab","commits":[{"sha":"6e58c3843154f09cd1511cde1b7618b4b508676d","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/6e58c3843154f09cd1511cde1b7618b4b508676d"},{"sha":"8270df2551fcb7aaebb983d555b76e6bd1133017","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/8270df2551fcb7aaebb983d555b76e6bd1133017"},{"sha":"130e037089b3421e8df4c058464261a209d7b17f","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/130e037089b3421e8df4c058464261a209d7b17f"},{"sha":"c2132769f0ee86aa2a9867dfc5a18f02e45f63d8","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c2132769f0ee86aa2a9867dfc5a18f02e45f63d8"}]}
{"actor":{"display_login":"wintersteiger"}}