{"push_id":722308671,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c1932f7f25b37718de5bc0754386915f7cdcdf40","before":"53fa706ac166201ffdd604fdc747509f7fa8abfe","commits":[{"sha":"c1932f7f25b37718de5bc0754386915f7cdcdf40","author":{"email":"551a44e7554f8fd5eff0b681fea8fd4ba6bf925c@ucl.ac.uk","name":"Reuben Rowe"},"message":"Slight tweaks to model checker test suite makefile, and added a model file which was missing.","distinct":true,"url":"https://api.github.com/repos/ngorogiannis/cyclist/commits/c1932f7f25b37718de5bc0754386915f7cdcdf40"}]}