{"push_id":1123542384,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"19fb110c586ce8918410c18d0e335bb3e255af11","before":"e3fccd127e7ab07b753c8a6586acc56c80f06492","commits":[{"sha":"0afeac021cc22ac4d598ded79aea107743531af4","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0afeac021cc22ac4d598ded79aea107743531af4"},{"sha":"1c0d028b5b96241c6d4b1338b648020fee1d3e42","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1c0d028b5b96241c6d4b1338b648020fee1d3e42"},{"sha":"92b4c1b9a76c60c8de20c033016eb03ead630c26","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/92b4c1b9a76c60c8de20c033016eb03ead630c26"},{"sha":"c8dccbb626aae2e146c69f7556d00083f6f3b237","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c8dccbb626aae2e146c69f7556d00083f6f3b237"},{"sha":"19fb110c586ce8918410c18d0e335bb3e255af11","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/19fb110c586ce8918410c18d0e335bb3e255af11"}]}
{"actor":{"display_login":"wintersteiger"}}