{"push_id":1043015377,"size":1,"distinct_size":1,"ref":"refs/heads/shallow","head":"c429250b42e0d12b224937677218f67988729aee","before":"5cd814be394a24b6970c347d711d9c9081ebe5e1","commits":[{"sha":"c429250b42e0d12b224937677218f67988729aee","author":{"email":"f16671674d76259e5916e074e5ad08841c374b94@york.ac.uk","name":"Simon Foster"},"message":"Added a variant of Benjamin Pierce's syntax for lenses","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/c429250b42e0d12b224937677218f67988729aee"}]}