{"push_id":1238473558,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"88973f3a38c671a21376929e700741187f4229e8","before":"8373d5a8cb616523bdf66240eb1e4d17dfd92e97","commits":[{"sha":"88973f3a38c671a21376929e700741187f4229e8","author":{"name":"Ramana Kumar","email":"a17e63e73cb313d8fcecc4b524cff68c1648e788@member.fsf.org"},"message":"Rename initSem -> primSem in compilerProof\n\nAlso missed in db44b6c4b32b666d619a676ca89130864fa2c013","distinct":true,"url":"https://api.github.com/repos/CakeML/cakeml/commits/88973f3a38c671a21376929e700741187f4229e8"}]}
{"actor":{"display_login":"xrchz"}}