{"push_id":760970867,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"5b3b1f27624055e57798d05b99428069e2ce30eb","before":"0371c44e78c99e6a2d6f48cb109c0223bfcbe7c0","commits":[{"sha":"84cc2bf1943e53fd63117f800905cfc59dd9c645","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/84cc2bf1943e53fd63117f800905cfc59dd9c645"},{"sha":"cfc4e2f9d554eb4d58780ab477c5e045763b792f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/cfc4e2f9d554eb4d58780ab477c5e045763b792f"},{"sha":"ced5b46278351d130c64559641a368ad4dfa4349","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ced5b46278351d130c64559641a368ad4dfa4349"},{"sha":"da5332a3f34a3cb259821a5018815c4be9792f7d","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/da5332a3f34a3cb259821a5018815c4be9792f7d"},{"sha":"5b3b1f27624055e57798d05b99428069e2ce30eb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/5b3b1f27624055e57798d05b99428069e2ce30eb"}]}