{"push_id":2712699509,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"953e2e472f3d4cbc97bd23eb2bfe99de13cca145","before":"a61e45d53320fdeae8ac627194f1d1f62675c7ba","commits":[{"sha":"d3a585543fd3f88aa37f800ca99f650823ecc3c7","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d3a585543fd3f88aa37f800ca99f650823ecc3c7"},{"sha":"1a590444936bdd232d5903807c63ef1c79a788b9","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1a590444936bdd232d5903807c63ef1c79a788b9"},{"sha":"b0aa9e54476499c85bb49e809fd5313ace5762aa","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b0aa9e54476499c85bb49e809fd5313ace5762aa"},{"sha":"c83ebb8f8ff7fe4467941ccb6e085bc8ecf00b9b","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c83ebb8f8ff7fe4467941ccb6e085bc8ecf00b9b"},{"sha":"953e2e472f3d4cbc97bd23eb2bfe99de13cca145","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/953e2e472f3d4cbc97bd23eb2bfe99de13cca145"}]}
{"actor":{"display_login":"wintersteiger"}}