{"push_id":2819797151,"size":1,"distinct_size":1,"ref":"refs/heads/sdf","head":"d9db8476769a7bbd579e6a7d916071f34de5b448","before":"09381956088e9c222363a1e261adbc76c88e42d8","commits":[{"sha":"d9db8476769a7bbd579e6a7d916071f34de5b448","author":{"name":"Simon Foster","email":"f16671674d76259e5916e074e5ad08841c374b94@york.ac.uk"},"message":"Finished adaptation for Isabelle 2018 and regenerated all documents","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/d9db8476769a7bbd579e6a7d916071f34de5b448"}]}
{"actor":{"display_login":"simondfoster"}}