{"push_id":1495461779,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a9d6c88cd5f1b0913a5b8f2eae43820e9019fd79","before":"41185e9e0450390f900b57c31f2b9f2534c83fa1","commits":[{"sha":"a9d6c88cd5f1b0913a5b8f2eae43820e9019fd79","author":{"name":"Christian Sattler","email":"7c5ec89508b9a24d9c014250b2dc5b183d62f827@gmail.com"},"message":"Added remark explaining how \\delta^k \\hatotimes (-) etc arise as Leibniz constructions after Example 6.5.\nFixed some typos.","distinct":true,"url":"https://api.github.com/repos/ngambino/UniformKan/commits/a9d6c88cd5f1b0913a5b8f2eae43820e9019fd79"}]}
{"actor":{"display_login":"sattlerc"}}