{"push_id":1876527777,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"61cfaaa4b17fb1c5f7dd708d5c79b5de662f8ea2","before":"a4410e9d80aba66b2f6d5872ce7485b592323bc0","commits":[{"sha":"61cfaaa4b17fb1c5f7dd708d5c79b5de662f8ea2","author":{"name":"James Smith","email":"54d0637de624a063f9d38e859fdf8e76f2771088@imperial.ac.uk"},"message":"Fixed a typo in the distributivity laws.","distinct":true,"url":"https://api.github.com/repos/jecs-imperial/Propositional-Logic/commits/61cfaaa4b17fb1c5f7dd708d5c79b5de662f8ea2"}]}
{"actor":{"display_login":"jecs-imperial"}}