{"push_id":1743587604,"size":1,"distinct_size":1,"ref":"refs/heads/ml2fol-dev","head":"31f7fc3a54c47627a4f8db3c680ff9b7a7605aed","before":"b188c87a5e5411e1da0e4c743b2ed005f160d9ed","commits":[{"sha":"31f7fc3a54c47627a4f8db3c680ff9b7a7605aed","author":{"name":"xiaohong","email":"46d706fcc0e1729ee0fa660af5b6ee2f10ff6bc2@illinois.edu"},"message":"add tostring","distinct":true,"url":"https://api.github.com/repos/kframework/matching-logic-prover/commits/31f7fc3a54c47627a4f8db3c680ff9b7a7605aed"}]}
{"actor":{"display_login":"hreada"}}