{"push_id":2478881652,"size":1,"distinct_size":1,"ref":"refs/heads/sdf","head":"94491d98ff11caa015f40ad3f4b28b7e85303df2","before":"11ee401cd5ea0030fa2a5f0ddbea633c8bc05aef","commits":[{"sha":"94491d98ff11caa015f40ad3f4b28b7e85303df2","author":{"name":"Simon Foster","email":"f16671674d76259e5916e074e5ad08841c374b94@york.ac.uk"},"message":"Improvements to tactics for RoboChart reasoning","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/94491d98ff11caa015f40ad3f4b28b7e85303df2"}]}
{"actor":{"display_login":"simondfoster"}}