{"push_id":1949308816,"size":1,"distinct_size":1,"ref":"refs/heads/gentzen","head":"24e690e4c13674436734170f4613335a34989598","before":"27ebd58e5754bfd2df5267247d4c5ceb76dddae9","commits":[{"sha":"24e690e4c13674436734170f4613335a34989598","author":{"name":"M42","email":"f09d8efb1e4124adff3e02e6e991387eecc6b5bb@gmail.com"},"message":"Working deduction trees","distinct":true,"url":"https://api.github.com/repos/M42/mikrokosmos/commits/24e690e4c13674436734170f4613335a34989598"}]}
{"actor":{"display_login":"M42"}}