{"push_id":730191265,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8b678df406872c0cce4c63ac4a0fce60be8c534d","before":"a3725f143f7820b4ea642f375c5372c37518d28d","commits":[{"sha":"8b678df406872c0cce4c63ac4a0fce60be8c534d","author":{"email":"b2accdc85eb13a5b585035b95a191d7747d2b7af@bak.io","name":"Miëtek Bak"},"message":"Refactor and improve naming","distinct":true,"url":"https://api.github.com/repos/mietek/idris-js/commits/8b678df406872c0cce4c63ac4a0fce60be8c534d"}]}