{"push_id":920093746,"size":10,"distinct_size":10,"ref":"refs/heads/master","head":"0a957519b7ed06a264696673455c74fab1bc4eb4","before":"7094a5d2972c193ecf4a8f208f4f361eff24ffb3","commits":[{"sha":"ae1dc3a43c8b04f80ccf1b0961acbcf75e9a78af","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/ae1dc3a43c8b04f80ccf1b0961acbcf75e9a78af"},{"sha":"56c2a163e7e226b64cf5235f523b20aa3e761adb","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/56c2a163e7e226b64cf5235f523b20aa3e761adb"},{"sha":"c849f4bb4528d493afb223312f4d9fb41e740e3c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c849f4bb4528d493afb223312f4d9fb41e740e3c"},{"sha":"d285b0a8cb56308d351bf4232531d69c22916938","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/d285b0a8cb56308d351bf4232531d69c22916938"},{"sha":"22b7d0b66c7aa066da73d04673ecc2bbeb555cee","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/22b7d0b66c7aa066da73d04673ecc2bbeb555cee"},{"sha":"0b223ac612719a2675b0c97e12c925a4614983d9","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0b223ac612719a2675b0c97e12c925a4614983d9"},{"sha":"0700cdf2c14853f458a6c9fb79a68358cc50d874","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0700cdf2c14853f458a6c9fb79a68358cc50d874"},{"sha":"baa77cb2e139b98aba1173adf07ba300ddba9002","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Merge branch 'master' of github.com:Z3Prover/bin","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/baa77cb2e139b98aba1173adf07ba300ddba9002"},{"sha":"0a0c9c07a634f317b5e574f1bd69cc5929b9742c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0a0c9c07a634f317b5e574f1bd69cc5929b9742c"},{"sha":"0a957519b7ed06a264696673455c74fab1bc4eb4","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0a957519b7ed06a264696673455c74fab1bc4eb4"}]}