{"push_id":881202606,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"e82f45bca81ac39872e171973aa54c1ef00ec0e2","before":"5d1d21e7975ffdc50ff701a57e0569e06525966d","commits":[{"sha":"a3edf87075d0df2e4acb89ec23d490069ce74803","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/a3edf87075d0df2e4acb89ec23d490069ce74803"},{"sha":"499a59846a6a27f4199c7e01fc93a624204307d9","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/499a59846a6a27f4199c7e01fc93a624204307d9"},{"sha":"039f2d9689a365a76fb00503a413069f17ba8f5e","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/039f2d9689a365a76fb00503a413069f17ba8f5e"},{"sha":"ba0ffb309ec15861244553f1e4c07635cddeb587","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ba0ffb309ec15861244553f1e4c07635cddeb587"},{"sha":"e82f45bca81ac39872e171973aa54c1ef00ec0e2","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e82f45bca81ac39872e171973aa54c1ef00ec0e2"}]}