{"push_id":875386060,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6d2bb1a0c39ac4a1cc0e21c2a23f73e75498492d","before":"272acd88e717a4a267196c8cc36e1b9bf7f73831","commits":[{"sha":"6d2bb1a0c39ac4a1cc0e21c2a23f73e75498492d","author":{"email":"f91541227a0cd03c51a39311d18cb3d2261ad392@hotmail.com","name":"David Sheridan"},"message":"Made parallel composition graph recognise the  terminal node.","distinct":true,"url":"https://api.github.com/repos/DavidSheridan/Model-Checker/commits/6d2bb1a0c39ac4a1cc0e21c2a23f73e75498492d"}]}