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