{"push_id":837413758,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"10c1a0b2487b050841903a9fa1bbbef4975617e8","before":"cbca3ea60559f1140a9723ec82f2716b96540955","commits":[{"sha":"2b1e4bf197e34281578f337c6a82dec39301e92e","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2b1e4bf197e34281578f337c6a82dec39301e92e"},{"sha":"c0836978a3b71845fe3012ccd456f0981d398afd","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/c0836978a3b71845fe3012ccd456f0981d398afd"},{"sha":"b3df5db6ada010429a8382c2f24a1d8a503ad03a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/b3df5db6ada010429a8382c2f24a1d8a503ad03a"},{"sha":"3d0b46ed4a6c0b27c5fc2957b0fccbfa909fbb5c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3d0b46ed4a6c0b27c5fc2957b0fccbfa909fbb5c"},{"sha":"57095abe55712bd91407c1907c4d413cf062714f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/57095abe55712bd91407c1907c4d413cf062714f"},{"sha":"10c1a0b2487b050841903a9fa1bbbef4975617e8","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/10c1a0b2487b050841903a9fa1bbbef4975617e8"}]}