{"push_id":2995854752,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"8b004dad4ff23c591a15b582808b7bd85ded3016","before":"196b0e2a4f3913f6f84a07f688c719aab99e1a28","commits":[{"sha":"36d3c6a1e30d7e88eee0bf19bf7ef74545e09f6f","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/36d3c6a1e30d7e88eee0bf19bf7ef74545e09f6f"},{"sha":"ab0c98b6902568aa6516dea8b44e0985c7299c7a","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ab0c98b6902568aa6516dea8b44e0985c7299c7a"},{"sha":"c84e1b0987c4363735d908bc8b013a8221b22634","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c84e1b0987c4363735d908bc8b013a8221b22634"},{"sha":"8d8a529befc2f6ab21d3f267a6be232918d47ed1","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/8d8a529befc2f6ab21d3f267a6be232918d47ed1"},{"sha":"8b004dad4ff23c591a15b582808b7bd85ded3016","author":{"name":"Christoph M. Wintersteiger","email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/8b004dad4ff23c591a15b582808b7bd85ded3016"}]}
{"actor":{"display_login":"wintersteiger"}}