{"push_id":1270015863,"size":1,"distinct_size":1,"ref":"refs/heads/fix-doc","head":"37627f17985e0e329fc7101f06b5e80c6e5fad33","before":"7a1e15a9bb796854db783d9742c1ff448efdf44f","commits":[{"sha":"37627f17985e0e329fc7101f06b5e80c6e5fad33","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"use inferface instead class or type class in documentations","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/37627f17985e0e329fc7101f06b5e80c6e5fad33"}]}
{"actor":{"display_login":"zjhmale"}}