{"push_id":1226594866,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d183518e165644eb80a93ea00658e1ca7f06078c","before":"e30f3618f02fa3af07ad7e23968eeae5da26d2d6","commits":[{"sha":"d183518e165644eb80a93ea00658e1ca7f06078c","author":{"name":"Lev Nachmanson","email":"9611065c9bc7406f107b8c4867940c77fa340976@hotmail.com"},"message":"fix dense_matrix m_value\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","distinct":true,"url":"https://api.github.com/repos/levnach/z3/commits/d183518e165644eb80a93ea00658e1ca7f06078c"}]}
{"actor":{"display_login":"levnach"}}