{"push_id":1411629899,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6d07ec6c7e8d91d4539fab20658b6aeb7264b055","before":"47c090b5f7b1f16d123ca2710e886c0a44e5806d","commits":[{"sha":"6d07ec6c7e8d91d4539fab20658b6aeb7264b055","author":{"name":"Jared Roesch","email":"2a3819ae5e75b8f9e1dfaca9b40cbb140b3c5645@gmail.com"},"message":"Flesh out a couple more things","distinct":true,"url":"https://api.github.com/repos/leanprover/POPL17_tutorial/commits/6d07ec6c7e8d91d4539fab20658b6aeb7264b055"}]}
{"actor":{"display_login":"jroesch"}}