{"push_id":1411893282,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e07469e35494d48f78519b2c4549392b370a6d90","before":"4922e110c33ce261a1857d84f3a83224183722c1","commits":[{"sha":"e07469e35494d48f78519b2c4549392b370a6d90","author":{"name":"Christoph M. Wintersteiger","email":"564cdc231b061157d41da4fa6ebb9f0cd1020917@microsoft.com"},"message":"Automatic nightly build.","distinct":true,"url":"https://api.github.com/repos/Z3Prover/bin/commits/e07469e35494d48f78519b2c4549392b370a6d90"}]}
{"actor":{"display_login":"wintersteiger"}}