{"push_id":937242345,"size":5,"distinct_size":5,"ref":"refs/heads/master","head":"9ce118a760ca61dd556c958b952d60abbced05b6","before":"e58f4cba009dd3e953952ebb3252676fc7d28fd8","commits":[{"sha":"66662e6fb3d2d60128db50c329380e2017612454","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/66662e6fb3d2d60128db50c329380e2017612454"},{"sha":"269b79b0cef0039fc2f3d6ba7cc2e6fa5ef90708","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/269b79b0cef0039fc2f3d6ba7cc2e6fa5ef90708"},{"sha":"a8fa616c26fb6c13046e899f28150cb2b842f080","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/a8fa616c26fb6c13046e899f28150cb2b842f080"},{"sha":"bdbfbbdeae4544293a79038397394989142b013e","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/bdbfbbdeae4544293a79038397394989142b013e"},{"sha":"9ce118a760ca61dd556c958b952d60abbced05b6","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/9ce118a760ca61dd556c958b952d60abbced05b6"}]}