{"push_id":1003642411,"size":1,"distinct_size":1,"ref":"refs/heads/implement_#40","head":"51ae3d18abc094115c530417202d637ab696edf7","before":"9e6e343addc677c2617cd4ac25b56bb4dbe3f013","commits":[{"sha":"51ae3d18abc094115c530417202d637ab696edf7","author":{"email":"f13dd847902629d6dbc7f49a58a681b625755c63@gmail.com","name":"Aggelos Giantsios"},"message":"Add more cases for refining types at a function application #40","distinct":true,"url":"https://api.github.com/repos/aggelgian/cuter/commits/51ae3d18abc094115c530417202d637ab696edf7"}]}