{"push_id":2780841929,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0a46ae1a468cf24621b1703f546d9d9082ad8d58","before":"1382f53e5d79e1b83fe71b1d8d874e34388af0a8","commits":[{"sha":"df425b5667a6181e8482d0f1978edbc2f9f02510","author":{"name":"pascalpoizat","email":"6370fb930f6f01f0979af6620f64bbd8e0698df9@lip6.fr"},"message":"feat: add examples in section 13.1 of chapter 13","distinct":true,"url":"https://api.github.com/repos/pascalpoizat/idris-book/commits/df425b5667a6181e8482d0f1978edbc2f9f02510"},{"sha":"0a46ae1a468cf24621b1703f546d9d9082ad8d58","author":{"name":"pascalpoizat","email":"6370fb930f6f01f0979af6620f64bbd8e0698df9@lip6.fr"},"message":"feat: add solutions for section 13.1 of chapter 11","distinct":true,"url":"https://api.github.com/repos/pascalpoizat/idris-book/commits/0a46ae1a468cf24621b1703f546d9d9082ad8d58"}]}
{"actor":{"display_login":"pascalpoizat"}}