{"push_id":1782437497,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d5e6d5f243b0f8cd46c37b9781123148017f81d0","before":"3fe29b0f83ee523b07465d669d1e13b94a4448d8","commits":[{"sha":"d5e6d5f243b0f8cd46c37b9781123148017f81d0","author":{"name":"Michael Schneider","email":"ad7fa4c8198f44345eb27251377d0cdb2208f5c0@gmail.com"},"message":"Some code from Chapter 3","distinct":true,"url":"https://api.github.com/repos/maicki/type-driven-development-with-idris/commits/d5e6d5f243b0f8cd46c37b9781123148017f81d0"}]}
{"actor":{"display_login":"maicki"}}