{"push_id":1454231941,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"188071c0d916a9bdc4631755d8c4d66a435ce28d","before":"dc9345623664fdcddab584d586b60a88cbbe2f34","commits":[{"sha":"188071c0d916a9bdc4631755d8c4d66a435ce28d","author":{"name":"Lev Nachmanson","email":"9611065c9bc7406f107b8c4867940c77fa340976@microsoft.com"},"message":"avoid an assert when time is over\n\nSigned-off-by: Lev Nachmanson <levnach@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/levnach/z3/commits/188071c0d916a9bdc4631755d8c4d66a435ce28d"}]}
{"actor":{"display_login":"levnach"}}