{"push_id":972543376,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0d6e0f0250f2841eb645bc68c22e41717c5e0e31","before":"ab75b89b39afa115b48eaf611f1db2072c666dd2","commits":[{"sha":"0d6e0f0250f2841eb645bc68c22e41717c5e0e31","author":{"email":"7e073154f29e22bfc61b5e331a80e5c7e220789a@strath.ac.uk","name":"James Chapman"},"message":"added product preservation to for lawvere theories and both examples","distinct":true,"url":"https://api.github.com/repos/jmchapman/Relative-Monads/commits/0d6e0f0250f2841eb645bc68c22e41717c5e0e31"}]}