{"push_id":1019833545,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"3a868287be6cc6c62cef588efc0d9ec37d25a61e","before":"6c9a5ce7770d2a8b8bb1dd2052abf27fc2b2223f","commits":[{"sha":"2d61efe03d7d460c509c89dd6e5dc9250907580f","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/2d61efe03d7d460c509c89dd6e5dc9250907580f"},{"sha":"45ce82ea04cf3180ff66b639e16c5383f74fd996","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/45ce82ea04cf3180ff66b639e16c5383f74fd996"},{"sha":"69e772bc3f4276a105cd7ea9561c7c62aafb158a","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/69e772bc3f4276a105cd7ea9561c7c62aafb158a"},{"sha":"fba06668dce517c191786061ed75a0963f3beedc","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/fba06668dce517c191786061ed75a0963f3beedc"},{"sha":"3a868287be6cc6c62cef588efc0d9ec37d25a61e","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/3a868287be6cc6c62cef588efc0d9ec37d25a61e"}]}