{"push_id":1130843852,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"18340b0e95d984fa7eda0e21efea22431af5d025","before":"1fe4a82c76346ff0847f945e5f95756bfe022c0e","commits":[{"sha":"18340b0e95d984fa7eda0e21efea22431af5d025","author":{"email":"df906fa73c281118b7012d85069f1a6194ecf7a3@microsoft.com","name":"Christoph M. Wintersteiger"},"message":"fix for pb2bv_model_converter","distinct":true,"url":"https://api.github.com/repos/wintersteiger/z3/commits/18340b0e95d984fa7eda0e21efea22431af5d025"}]}
{"actor":{"display_login":"wintersteiger"}}