{"push_id":1115272672,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"c848a3718687b6ad6d7bce79690b8837e283924a","before":"8a80ff435d9cbf4150b03f25023d6d3680eafa97","commits":[{"sha":"c848a3718687b6ad6d7bce79690b8837e283924a","author":{"email":"d11e85160691e6bf240a6b88d79caf9774d9d6e3@dcs.shef.ac.uk","name":"Ramsay Taylor"},"message":"Generaliser and Resolver added and mostly working on small examples.","distinct":true,"url":"https://api.github.com/repos/ramsay-t/Athena/commits/c848a3718687b6ad6d7bce79690b8837e283924a"}]}