{"push_id":2938823028,"size":1,"distinct_size":1,"ref":"refs/heads/v8.8","head":"d2d1d0889a2c10d0b636d42b67d08b833bac0129","before":"5b2253175f9dec805dcc4d3d830cf1e1bad88022","commits":[{"sha":"d2d1d0889a2c10d0b636d42b67d08b833bac0129","author":{"name":"Kaiyu Yang","email":"f138d1ce3f96f01f395a8c1d51181865bdfe2045@umich.edu"},"message":"remove printing","distinct":true,"url":"https://api.github.com/repos/yangky11/coq-serapi/commits/d2d1d0889a2c10d0b636d42b67d08b833bac0129"}]}
{"actor":{"display_login":"yangky11"}}