{"push_id":552061613,"size":1,"distinct_size":1,"ref":"refs/heads/devel","head":"34cbdd759ffc51958a34f8b40c1ead67f66524e9","before":"ace12b06548112d1b5e097b598cc30fc9d91fcd4","commits":[{"sha":"34cbdd759ffc51958a34f8b40c1ead67f66524e9","author":{"email":"d11e85160691e6bf240a6b88d79caf9774d9d6e3@dcs.shef.ac.uk","name":"Ramsay Taylor"},"message":"EFSM state merging works and merges subsuming transitions.\n\nIt makes no attempt to subsume outputs or updates, these must be identical.","distinct":true,"url":"https://api.github.com/repos/ramsay-t/Athena/commits/34cbdd759ffc51958a34f8b40c1ead67f66524e9"}]}