{"push_id":759905803,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"33b3374359861ce84fd359de7cc87a445108098a","before":"700d68aed117e5189913a4825e423be9bcfbee0d","commits":[{"sha":"3147232a5bea670f9841809088ce535664a295ae","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3147232a5bea670f9841809088ce535664a295ae"},{"sha":"9edb9a1a4212a9399e71f7995a3f5106488d64e3","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9edb9a1a4212a9399e71f7995a3f5106488d64e3"},{"sha":"1a4b1afb69136f7e1e4ddb2b7258016bbea9b347","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1a4b1afb69136f7e1e4ddb2b7258016bbea9b347"},{"sha":"0257d60748847b763717ec82dfeeedf3ca25d4bd","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0257d60748847b763717ec82dfeeedf3ca25d4bd"},{"sha":"0fa25305d5eb2455d6199f75ebe911feeb1b7587","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/0fa25305d5eb2455d6199f75ebe911feeb1b7587"},{"sha":"33b3374359861ce84fd359de7cc87a445108098a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/33b3374359861ce84fd359de7cc87a445108098a"}]}