{"push_id":885816861,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"654d836561f3abb074c1dd96963ed30fd557243e","before":"7c33841edd5c17c93e7f711fde47764e12062669","commits":[{"sha":"654d836561f3abb074c1dd96963ed30fd557243e","author":{"email":"51b3cdeec92f368875b80c0685c50cdbba1e5254@gmail.com","name":"Eric Finster"},"message":"Hom types reduce.  Vertical composition example.","distinct":true,"url":"https://api.github.com/repos/ericfinster/opetopic/commits/654d836561f3abb074c1dd96963ed30fd557243e"}]}