{"push_id":2576375667,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"025d3cb30c47c10ffb3e5e31de8d2b871d377cdc","before":"0871e6e578d31435894cd7ef262e6eb86c7f59d7","commits":[{"sha":"025d3cb30c47c10ffb3e5e31de8d2b871d377cdc","author":{"name":"Lev Nachmanson","email":"547e21cf4741e0be725f19d6dc4faaf8564c91d1@hotmail.com"},"message":"handle generated cases in hnf\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","distinct":true,"url":"https://api.github.com/repos/levnach/z3/commits/025d3cb30c47c10ffb3e5e31de8d2b871d377cdc"}]}
{"actor":{"display_login":"levnach"}}