{"push_id":1172829297,"size":1,"distinct_size":1,"ref":"refs/heads/shallow.2016","head":"78d026582685c2ca4e3de9e2ec2c77c9a668a04b","before":"5e7a958e476b2163d4a53be106e54a37ec44ae9d","commits":[{"sha":"78d026582685c2ca4e3de9e2ec2c77c9a668a04b","author":{"name":"Simon Foster","email":"76633d021152981201a5fa174f3c16f1c09fce7d@york.ac.uk"},"message":"Couple of small fixes to VDM stuff","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/78d026582685c2ca4e3de9e2ec2c77c9a668a04b"}]}
{"actor":{"display_login":"simondfoster"}}