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