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