{"push_id":1155201426,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"fe50bb903028b551e51d397bb1ba2361d3043bb8","before":"0b37c23fd9bd021e0a3cfe07c5556a2790bf3661","commits":[{"sha":"fe50bb903028b551e51d397bb1ba2361d3043bb8","author":{"name":"Ramsay Taylor","email":"1efde77f754cb887d5318ffeac8d304c7ffdbb03@dcs.shef.ac.uk"},"message":"Simplification for nested conj clauses that imply one another.","distinct":true,"url":"https://api.github.com/repos/ramsay-t/epagoge/commits/fe50bb903028b551e51d397bb1ba2361d3043bb8"}]}
{"actor":{"display_login":"ramsay-t"}}