{"push_id":719930218,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1d33904b6ef8fb15f0b9f818c52859defc4e535c","before":"d979f779e6e1d25cbc71f4e665f4685d63e6e594","commits":[{"sha":"1d33904b6ef8fb15f0b9f818c52859defc4e535c","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/1d33904b6ef8fb15f0b9f818c52859defc4e535c"}]}