{"push_id":1269074823,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7d587d6973c0d7f255d01f274052150bf7250dc3","before":"46846e38b528dff34cbbbd13b91dbedde2cba3c3","commits":[{"sha":"7d587d6973c0d7f255d01f274052150bf7250dc3","author":{"name":"Chris Sangwin","email":"c70a0cb1f8f3c2e1d17a2d0bfeeb57fab0926af0@ed.ac.uk"},"message":"Prototype simplifier.","distinct":true,"url":"https://api.github.com/repos/maths/prologcas/commits/7d587d6973c0d7f255d01f274052150bf7250dc3"}]}
{"actor":{"display_login":"sangwinc"}}