{"push_id":1223401109,"size":1,"distinct_size":1,"ref":"refs/heads/fix-typesfuns-doc","head":"c7fdc85906946e95a5e42800bdf38fa5164059af","before":"77ac3024424041f84253e5fdc818db903f4f6baf","commits":[{"sha":"c7fdc85906946e95a5e42800bdf38fa5164059af","author":{"name":"zjhmale","email":"918c784cd143529302534bc9fbf8ac1e5a238135@gmail.com"},"message":"use `Double` instead of `Float` in docs","distinct":true,"url":"https://api.github.com/repos/zjhmale/Idris-dev/commits/c7fdc85906946e95a5e42800bdf38fa5164059af"}]}
{"actor":{"display_login":"zjhmale"}}