{"push_id":2183988237,"size":1,"distinct_size":1,"ref":"refs/heads/option","head":"8c14da9005d172a113235a1d9495e68d45929f55","before":"16cb54d1d5d994163aaec5f94660f7ba9d6d7393","commits":[{"sha":"8c14da9005d172a113235a1d9495e68d45929f55","author":{"name":"Bill Murphy","email":"a90f17043a0fb9aaab85a0df35463cc205071c28@gmail.com"},"message":"add outline of Church option type","distinct":true,"url":"https://api.github.com/repos/billpmurphy/lambda_calculus/commits/8c14da9005d172a113235a1d9495e68d45929f55"}]}
{"actor":{"display_login":"billpmurphy"}}