{"push_id":774181324,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"46598910b94f14597c7ca5881a8838d8a5119ad7","before":"8e0cbe0f524bb8ede3212e208f8390fbc062195c","commits":[{"sha":"f8e46f80c8507c9de5c01b82a65df4bcf443556f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/f8e46f80c8507c9de5c01b82a65df4bcf443556f"},{"sha":"75d7b49c81c6f7b0187af4dd19a232c5ddfab5f5","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/75d7b49c81c6f7b0187af4dd19a232c5ddfab5f5"},{"sha":"a8b886b15bc5f10c61341d22e257d3d9af10fb6a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/a8b886b15bc5f10c61341d22e257d3d9af10fb6a"},{"sha":"e4631d045eda6c7c758b85d216c8e8269d0a55d5","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e4631d045eda6c7c758b85d216c8e8269d0a55d5"},{"sha":"20d2b3eddfaac3063e77076680fe2d040836f2b5","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/20d2b3eddfaac3063e77076680fe2d040836f2b5"},{"sha":"46598910b94f14597c7ca5881a8838d8a5119ad7","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/46598910b94f14597c7ca5881a8838d8a5119ad7"}]}