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