{"push_id":1229107702,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9406c6f7924090c3d83add7d8156440a5800a961","before":"4636ecd5e3ae77d4c033ed6b5662187c5b9f2b22","commits":[{"sha":"9406c6f7924090c3d83add7d8156440a5800a961","author":{"name":"laMudri","email":"9b66a2337e2832db742f33795f85dc5083c5b3b4@gmail.com"},"message":"fixed premature commit","distinct":true,"url":"https://api.github.com/repos/laMudri/agda-practice/commits/9406c6f7924090c3d83add7d8156440a5800a961"}]}
{"actor":{"display_login":"laMudri"}}