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