{"push_id":1088951960,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7410b256e9a941588bf73ffcf8bf768a60cc5793","before":"271ab6ae0bb00e669a37dc6cac4094449b322b36","commits":[{"sha":"7410b256e9a941588bf73ffcf8bf768a60cc5793","author":{"email":"96f164ad4d9b2b0dacf8ebee2bb1eeb3aa69adf1@ericb.me","name":"Eric Bailey"},"message":"Fix typo: s/whole/hole/","distinct":true,"url":"https://api.github.com/repos/yurrriq/learning-idris/commits/7410b256e9a941588bf73ffcf8bf768a60cc5793"}]}